Fwd: [Haskell-cafe] Haskell as a religion

Dan Piponi dpiponi at gmail.com
Thu Dec 18 21:02:02 EST 2008

On Thu, Dec 18, 2008 at 4:15 PM, Henning Thielemann
<schlepptop at henning-thielemann.de> wrote:

> In C/C++ referential transparent functions code can be declared by
> appending a 'const' to the prototype, right?

For one thing, some fields in a const C++ object can be explicitly set
mutable. mutable is sometimes used in C++ a similar way to
unsafePerformIO in Haskell. You have something that uses mutability in
its internals but that mutability shouldn't be observable to the
caller. In both cases you have no means of actually ensuring that the
mutability is actually unobservable.

More information about the Haskell-Cafe mailing list