Personal tools

Comparison of functional programming languages

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(added Miranda to table)
(change strict to eager. Eager is a more standard term and constrasts better with lazy)
Line 27: Line 27:
 
|-
 
|-
 
! ML
 
! ML
| strict
+
| eager
 
| side-effects
 
| side-effects
 
| static
 
| static
Line 33: Line 33:
 
|-
 
|-
 
! Scheme
 
! Scheme
| strict
+
| eager
 
| side-effects
 
| side-effects
 
| dynamic
 
| dynamic
Line 39: Line 39:
 
|-
 
|-
 
! Erlang
 
! Erlang
| strict
+
| 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