[Haskell-cafe] Better writing about Haskell through multi-metaphor learning

Joachim Durchholz jo at durchholz.org
Sun Sep 19 09:04:55 UTC 2021

Am 18.09.21 um 14:11 schrieb Branimir Maksimovic:
> I don“t see how does that anything to do with Monad ČP
> It“s just what you pass as return value.

Nitpick: "return" and "is" are one and the same in Haskell; there's no 
software-detectable difference between an expression and its result in 
safe Haskell.

> Do {
>> ...
> }
> that’s just syntactic sugar, to look more nicely.

The do syntax is syntactic sugar alright.

However, it's not just the do block that's a monad, its top-level 
subexpressions must be monads as well.


More information about the Haskell-Cafe mailing list