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.
More information about the Haskell-Cafe