Re:Why OCaml, why now? (2014)
by tome on Monday February 16, 2015 @05:09AM
(#9056096)
Could you say something about why `unsafePerformIO` is unsafe in the presence of laziness?
I know `unsafePerformIO` can be used to violate the type system in combination with `IORef`s, for example, but I don't see what laziness has to do with it.
Re:Why OCaml, why now? (2014)
by spyder81 on Monday February 16, 2015 @05:18PM
(#9059407)
In the presence of laziness, it can be very difficult to reason about what code executes when. When you don't know when your unsafe IO happens, things can get out of order or have other unforeseen side effects.
I know `unsafePerformIO` can be used to violate the type system in combination with `IORef`s, for example, but I don't see what laziness has to do with it.