[Haskell-cafe] Re: Haskell vs OCaml

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Tue May 3 14:38:14 EDT 2005

John Goerzen <jgoerzen at complete.org> writes:

> I'd say that there are probably no features OCaml has that Haskell
> lacks that are worth mentioning.

Its type system has some interesting features: polymorphic variants,
parametric modules, labeled and optional arguments, objects, variance
annotations of type parameters used for explicit subtyping.

It has more convenient exceptions: the exn type can be extended with
new cases which look like variants of algebraic types.

There is camlp4 for extending the syntax or changing it completely.

OTOH Haskell provides type classes, better integrated arbitrary
precision integer type, type variables with kinds other than *,
polymorphic recursion, much better FFI, and with GHC extensions:
universal and existential quantifiers in function types (OTOH OCaml
recently got universal quantifiers in record fields), GADTs, implicit
parameters, template Haskell.

   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/

More information about the Haskell-Cafe mailing list