Comment by doyougnu
Comment by doyougnu 19 hours ago
Agreed. the Haskeller in me screams "You've just implemented the IO monad without language support".
Comment by doyougnu 19 hours ago
Agreed. the Haskeller in me screams "You've just implemented the IO monad without language support".
Can you explain for those of us less familiar with Haskell (and monads in general)?
i mean not really? it absolutely does nothing to segregate stateful impurity into a type theoretically stateless token
It's not a monad because it doesn't return a description of how to carry out I/O that is performed by a separate system; it does the I/O inside the function before returning. That's a regular old interface, not a monad.