Functional Programming |
|
The functional programming languages, such as Haskell, Lisp, Miranda, Scheme and SML, are based on Alonzo Church's λ-calculus. λ-calculus, Turing machines and combinatorial logic are all equivalent in that they can compute exactly the same things but since the λ-calculus is the most like a programming language it has a good claim to being the prototype programming language.
|
|
↑ © L. Allison, www.allisons.org/ll/ (or as otherwise indicated). Created with "vi (Linux)", charset=iso-8859-1, fetched Wednesday, 06-Dec-2023 08:08:35 UTC. Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off. |