List of educational programming languages: Difference between revisions

Revision as of 13:15, 27 December 2024

Revision as of 17:18, 8 January 2025

Line 84:

==University==

* [[Curry (programming language)|'''Curry''']] is a teaching language<ref>M. Hanus. Teaching Functional and Logic Programming with a Single Computation Model. In Proc. Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97), pp. 335–350. Springer LNCS 1292, 1997.</ref> designed to amalgamate the most important declarative programming paradigms, namely functional programming (nested expressions, higher-order functions, lazy evaluation) and [[logic programming]] (logical variables, partial data structures, built-in search). It also integrates the two most important operational principles developed in the area of integrated functional logic languages: "residuation" and "narrowing."<ref>{{cite web|url=http://www.informatik.uni-kiel.de/~curry/report.html|title=Curry report, Introduction|archiveurl=https://web.archive.org/web/20091004101455/http://www.informatik.uni-kiel.de/~curry/report.html|archivedate=2009-10-04}}</ref><ref>{{cite journal|first=M.|last=Hanus|title=The Integration of Functions into Logic Programming: From Theory to Practice|journal=Journal of Logic Programming|volume=19&20|pages=583–628|date=1994|doi=10.1016/0743-1066(94)90034-5 }}</ref>

* [[Flowgorithm (programming language)|'''Flowgorithm''']] is a graphical [[authoring tool]] for writing and executing programs via [[flowchart]]s. The approach is designed to emphasize the algorithm rather than the syntax of a given language. The flowchart can be converted to several major languages such as [[C Sharp (programming language)|C#]], [[Java (programming language)|Java]], [[Visual Basic .NET]] and [[Python (programming language)|Python]].<ref name=about>{{cite web|title=About|url=http://flowgorithm.org/about/index.htm|website=Flowgorithm|access-date=August 26, 2014}}</ref>

* [[Oz (programming language)|'''Oz''']] is a 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 most of the concepts of the major [[Programming paradigm|programming paradigms]], including logic, functional (both [[Lazy evaluation|lazy]] and [[Eager evaluation|eager]]), [[Imperative programming|imperative]], [[Object-oriented programming|object-oriented]], constraint, [[Distributed programming|distributed]], and [[Concurrent computing|concurrent programming]]. It has a [[canonical]] textbook, ''[[Concepts, Techniques, and Models of Computer Programming]]'' (2004), and a freely available standard implementation, the [[Mozart Programming System]].<ref>{{Cite web|title=Mozart Programming System|url=http://mozart2.org|access-date=2024-10-25|website=mozart2.org}}</ref>