Comparison of functional programming languages: Difference between revisions
(added Miranda to table) |
Jbolden1517 (talk | contribs) (change strict to eager. Eager is a more standard term and constrasts better with lazy) |
||
| Line 27: | Line 27: | ||
|- | |- | ||
! ML | ! ML | ||
| | | eager | ||
| side-effects | | side-effects | ||
| static | | static | ||
| Line 33: | Line 33: | ||
|- | |- | ||
! Scheme | ! Scheme | ||
| | | eager | ||
| side-effects | | side-effects | ||
| dynamic | | dynamic | ||
| Line 39: | Line 39: | ||
|- | |- | ||
! Erlang | ! Erlang | ||
| | | eager | ||
| side-effects | | side-effects | ||
| dynamic w/ compiler annotations for static typing | | dynamic w/ compiler annotations for static typing | ||
| no | | 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 |