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 |