[Haskell-cafe] Why?

Dan Piponi dpiponi at gmail.com
Fri Dec 11 14:57:07 EST 2009


On Fri, Dec 11, 2009 at 11:46 AM, Andrew Coppin
<andrewcoppin at btinternet.com> wrote:

> On the other hand, turn up the optimisation settings on a C compiler high
> enough and the program breaks.

Not if you write actual C as specified by the standard.

In fact, these days gcc internally converts your program to SSA form,
which is essentially pure functional code. (See here for an
explanation: http://www.cs.princeton.edu/~appel/papers/ssafun.ps) The
reason is exactly as you say: the purer the code, the easier it is to
reason about it.
--
Dan


More information about the Haskell-Cafe mailing list