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) |
m (w/ -> with. We don't need to save bandwidth.) |
||
| Line 41: | Line 41: | ||
| eager | | eager | ||
| side-effects | | side-effects | ||
| - | | dynamic | + | | dynamic with compiler annotations for static typing |
| no | | no | ||
|} | |} | ||
Current revision
| 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 with compiler annotations for static typing | no |
