List of educational programming languages: Difference between revisions

Revision as of 10:52, 11 April 2015

Revision as of 07:45, 17 April 2015

Line 274:

* '''[[M2001]]''' is a [[Modular programming|modular]] mathematical language for developing and presenting mathematical algorithms, from modern discrete to classical continuous mathematics. It is built on a semantic framework based in category theory, with a syntax similar to that of Pascal or [[Modula-2]]. It is designed for education only, so efficiency and ease of implementation are far less vital in its development than generality and range of application. It was created to play a strong role in forming a formal algorithmic foundation for first-year college math students.

* '''[[Picky (programminghttp://lsub.org/ls/picky.html language)|Picky]]''' is an imperative programming language designed for a first level, introductory programming course. The language is small and simple. It has a terse syntax that derives from Pascal and C. Picky is very restrictive. The compiler and the run time include extra checks to provide safety features. Picky also provides realistic handling of basic file I/O. The language compiles to byte-code for an abstract machine called PAM. An interpreter is supplied together with the compiler. The tools are available for different operating systems, such as [[Plan 9 From Bell Labs]], [[Linux]], [[Mac OS X]] and [[Windows]]. The documentation includes a [http://lsub.org/ls/export/picky.pdf white paper] and a text book for a complete programming course (in Spanish, [http://lsub.org/fdp/doc/fdpicky.pdf on-line version]).

* '''[[Oz (programming language)|Oz]]''' is a programming language designed to teach computer theory. It supports most major paradigms<ref>[http://www.info.ucl.ac.be/people/PVR/paradigmsDIAGRAMeng108.pdf Programming Paradigms] poster</ref> in one language so that students can learn paradigms without having to learn multiple [[syntax (programming languages)|syntaxes]]. Oz contains in a simple and well-factored way most of the concepts of the major programming paradigms, including logic, functional (both lazy and eager), imperative, object-oriented, constraint, distributed, and concurrent programming. It has a canonical textbook [[Concepts, Techniques, and Models of Computer Programming]] and a freely available standard implementation the [[Mozart Programming System]].