
3 May
2005
3 May
'05
1:42 p.m.
Daniel Carrera
Marcin,
Are you sure that OCaml is similar to Haskell? At first glance, it doesn't even look functional. It looks like an imperative language.
It's not purely functional, but it supports algebraic types and first-class functions, uses similar conventions in the library (immutable Lisp-style lists, tuples, currying), has a similar type system to Haskell's one (or rather the other way around: ML invented it), has a similar syntax (function application as juxtaposition, pattern matching, one namespace for values which include functions), neither language supports implicit type conversions nor RTTI. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/