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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
