| 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 |