OK - it uses different notation where '=' is not the same as in maths. But that ...

zby on Feb 24, 2018 | parent | context | favorite | on: Are Monads a Waste of Time?

OK - it uses different notation where '=' is not the same as in maths. But that is kind of trivial. There are perfectly mathematical semantics of both functional and imperative languages.