[Haskell-cafe] Why?

Gregory Crosswhite gcross at phys.washington.edu
Fri Dec 11 19:14:58 EST 2009


On Dec 11, 2009, at 3:55 PM, Jason Dusek wrote:

>  There are plenty of bad ways to use `unsafePerformIO`, this is
>  true; but as we already have a tool for binding to native code
>  in a way that trusts it to be pure, I don't see how having a
>  way to bind to nominally side-effecting Haskell code in a way
>  that trusts it to be pure adds anything to our troubles.


Indeed, and I would add that we even trust that our Haskell implementation itself is pure, even though it does all sorts of side-effectful things underneath the hood.

Cheers,
Greg



More information about the Haskell-Cafe mailing list