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