3 ms·
IO's general status as the "Unsafe Pandora's Box" is a wart in Haskell. Isn’t that rather like saying mutable variables are a wart in C? :-)
by Chris_Newton 14y ago
IO's general status as the "Unsafe Pandora's Box" is a wart in Haskell.
Isn’t that rather like saying mutable variables are a wart in C? :-)
- deleted 14y ago[deleted]
- tel 14y agoSure. Haskell's wart is automatically verified to be context constrained by the type system, though. There are also lots of tools to mitigate that wart that are also verified.
- tikhonj 14y agoIt's more like saying void pointers are a wart in C. It's appropriate in two ways: for one, void pointers are a wart, and for two, there's no good way to get rid of them without radically changing the language.