[Haskell-cafe] Haskell vs OCaml

[Tomasz Zielonka]

On Sat, Dec 24, 2005 at 03:11:06PM +0000, Daniel Carrera wrote:
> Tomasz Zielonka wrote:
> >There are many differences (Haskell on the left):
> >- pure / impure
> 
> Let's see if I understand this one. Haskell and OCaml both treat 
> functions as first class objects, including the ability to pass 
> functions as arguments or return functions. But OCaml allows you to 
> change the value of a variable and that's what makes it impure. Yes?

More precisely, it allows to change/access mutable variables as part of
expression evaluation.

> Does this mean that it's harder to prove an OCaml program correct? Or 
> that you have to be careful to not accidentally change the value of 
> variables?

Both, actually.

Best regards
Tomasz

-- 
I am searching for a programmer who is good at least in some of
[Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland