11 Dec
2009
11 Dec
'09
7:14 p.m.
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