Comparison of functional programming languages
From HaskellWiki
(Difference between revisions)
(added Miranda to table) |
m (w/ -> with. We don't need to save bandwidth.) |
||
| (One intermediate revision not shown.) | |||
| 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 | + | | 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 |
