[Haskell-cafe] Re: Monad laws

Stefan Monnier monnier at iro.umontreal.ca
Thu Sep 7 10:32:13 EDT 2006

> Are you really sure Haskell compilers do that optimization?
> I would regard a compiler that does optimizations that are justified  by
> laws that the compiler cannot check as broken.

You mean like the non-aliasing law in Fortran?

        Stefan ;-)

More information about the Haskell-Cafe mailing list