3 ms·
Doesn't Haskell do this to some degree with the IO monad? Functions that are not supposed to do IO directly simply have a more specific type signature, like tak
by lxpz 1y ago
Doesn't Haskell do this to some degree with the IO monad? Functions that are not supposed to do IO directly simply have a more specific type signature, like taking in a stream and returning a buffer for example.
- tome 1y agoYes, although it can be violated by unsafePerformIO and friends. Haskell's is not an "assured" system.