3 ms·
> There's no wrapper, and "interface" is misleading True. I used a convenient lie to make a point. If you're interested in learning Monads you should definitel
by agentultra 8y ago
> There's no wrapper, and "interface" is misleading
True. I used a convenient lie to make a point. If you're interested in learning Monads you should definitely learn it from a proper source like Haskell from First Principles [0], an online course, or someone who really knows what they're talking about.
As I only alluded to and others have pointed out: there's nothing about monads that's inherently sequential or having to do with ordering operations. That's just how the language defined the interpretation of the IO monad. And it also happens that this is the primary topic of concern of TFA.
You might even come to realize that much of what a Monad isn't contradicts the entire premise of TFA... Haskell doesn't even need the IO monad and could implement IO other ways just fine [1].
[0] https://haskellbook.com https://haskellbook.com
[1] https://donsbot.wordpress.com/2009/01/31/reviving-the-gofer-standard-prelude-circa-1994/ https://donsbot.wordpress.com/2009/01/31/reviving-the-gofer-...