Comparison of functional programming languages
From HaskellWiki
(Difference between revisions)
(change strict to eager. Eager is a more standard term and constrasts better with lazy) |
|||
| (6 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
| - | + | [[Category:Glossary]] | |
| - | {| | + | {| class="wikitable" style="text-align:center;" |
| | | | ||
! Evaluation | ! Evaluation | ||
| Line 19: | Line 19: | ||
| static | | static | ||
| yes | | yes | ||
| - | |- | + | |- |
| + | ! Miranda | ||
| + | | lazy | ||
| + | | lazy lists | ||
| + | | static | ||
| + | | yes | ||
| + | |- | ||
! ML | ! ML | ||
| - | | | + | | eager |
| side-effects | | side-effects | ||
| static | | static | ||
| Line 27: | Line 33: | ||
|- | |- | ||
! Scheme | ! Scheme | ||
| - | | | + | | eager |
| side-effects | | side-effects | ||
| dynamic | | dynamic | ||
| Line 33: | Line 39: | ||
|- | |- | ||
! Erlang | ! Erlang | ||
| - | | | + | | eager |
| - | | | + | | side-effects |
| - | | | + | | dynamic w/ compiler annotations for static typing |
| - | | | + | | no |
|} | |} | ||
Revision as of 00:52, 6 April 2009
| Evaluation | IO | Typing | Pure | |
|---|---|---|---|---|
| Haskell | lazy | monads | static | yes |
| Clean | lazy | uniqueness | static | yes |
| Miranda | lazy | lazy lists | static | yes |
| ML | eager | side-effects | static | no |
| Scheme | eager | side-effects | dynamic | no |
| Erlang | eager | side-effects | dynamic w/ compiler annotations for static typing | no |
