Whence monad transformers? Where are distributive laws?

[atravers]

@kindaro

What is IO, anyway?

Should Haskell be rebranded away from "Pure Functional Programming"

What a surprise: it’s a question about I/O in Haskell - I’m assuming none of these helped. Let’s try something different and see how Agda performs I/O: Haskell 2010 almost permits a similar "outsourcing" of I/O: -- the I/O ADT... data IO a foreign import "primUnitIO" unitIO :: a -> IO a foreign import "primBindIO" bindIO :: IO a -> (a -> IO b) -> IO b instance Monad IO where return = unitIO (>>=) = bindIO Main.main can be dealt with in similar fashion, so: module Main(main) w…

---

@kindaro

What I am saying is that we need first to sort out what IO is, what its equality is.

• Semantics of fixIO by Levent Erkok, John Launchbury and Andrew Moran.

• Tackling the Awkward Squad: … by Simon Peyton Jones (from section 3.2 on page 20 onwards).

---

@kindaro

How do we know there is a monad IO to begin with?

Cognitive Loads in Programming

It looks like you’re looking for something more denotative than what’s currently available - you’re not alone…