Re:Haskell, Monads and Purity
by lpw25 on Saturday October 04, 2014 @07:28AM
(#8409269)
> This is why unsafePerformIO is unsafe: it’s completely foreign to the programming model
Maybe, although it is also not type safe because Haskell doesn't have a value restriction for polymorphism. (or looked at another way Haskell's value restriction assumes that function application is a value).
Re:Haskell, Monads and Purity
by tikhonj on Saturday October 04, 2014 @05:00PM
(#8410641)
And, by extension, we don't have a value restriction because unsafePerformIO is foreign to our programming model. If it was actually part of the abstraction, Haskell would be a lot more like ML!
Maybe, although it is also not type safe because Haskell doesn't have a value restriction for polymorphism. (or looked at another way Haskell's value restriction assumes that function application is a value).