Content deleted Content added
m =Foundational concepts= lks |
m +lks |
||
Line 3:
==Foundational concepts==
*[[Programming paradigm]]
*[[Declarative programming]]
**[[Declarative programming language]]
*[[Purely functional]]
*[[Static scoping]]
*[[Higher-order function]]
*[[Referential transparency]]
Line 34 ⟶ 36:
*[[Typed lambda calculus]]
*[[Typed and untyped languages]]
*[[Type signature]]
*[[Type inference]]
*[[Datatype]]▼
*[[Algebraic datatype]]
*[[Type variable]]
*[[First-class value]]
*[[Polymorphism (computer science)]]
*[[Calculus of Constructions]]
▲*[[Datatype]]
==[[Denotational semantics]]==
Line 59 ⟶ 66:
*[[Simulation preorder]]
*[[Bisimulation]]
*[[Monad (functional programming)]]
*[[Exception handling]]
*[[Garbage collection]]
**[[Automatic garbage collection]]
==Languages==
Line 65 ⟶ 75:
*[[Clean programming language]]
*[[Erlang programming language]]
*[[Haskell programming language]]
**[[The Glasgow Haskell Compiler]]
**[[Hugs]]
**[[Template Haskell]]
*[[Kent Recursive Calculator]]
*[[Lisp]]
Line 74 ⟶ 88:
*[[Miranda programming language]]
*[[ML programming language]]
**[[Caml]]
*[[Ocaml]]
**[[SML programming language]]
*[[Nemerle]]
*[[Scheme programming language]]
▲*[[SML programming language]]
| |||