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