Damus
Shane Celis · 23w
“I have no IO monad and I must scream.” “Sorry. Emitting heat is the best I can do.” #haskell https://cdn.masto.host/mastodongamedevplace/media_attachments/files/116/285/031/030/486/941/ori...
Jonathan Lamothe profile picture
@Shane Celis Sonewhat unrelated, but I don't understand why people make such a big deal about IO being a Monad instead of just calling it the IO type. I mean, it's also a Monoid, Semigroup, etc. There's nothing particularly special that I can see about the Monad typeclass.
1
Shane Celis · 23w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjqx33d75rxq8z79cg0xn00y0q6uwk4e59x0h35jhl7mdthzxarusm26w3n I think it's a big deal because every other language ate and subsumed IO out of what felt like necessity—how else can you do anything? Only Haskell held IO at arm's length and wrapped ...