Difference between revisions of "Comparison of functional programming languages"
Jump to navigation
Jump to search
(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 |
||
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 |