News for hackers. Stuff that matters.

A comment on Are Monads a Waste of Time?. Parent comment

Re:Are Monads a Waste of Time? by tome on Wednesday February 21, 2018 @05:31AM (#16428429)
Indeed. But bad_user made a claim about monads in general ("What a Monad does is to force sequencing by creating a data dependency.") so all I need to do to refute it is give an example of a particular monad where the claim doesn't hold.
[ Parent | on HN ]
Re:Are Monads a Waste of Time? by lmm on Wednesday February 21, 2018 @06:23AM (#16428661)
Monads force a denotation of sequencing. Of course you can write a language implementation where the sequencing of operation does not represent the sequencing of denotation (just as you can write a "compiler" that compiles all programs to Hello World), but, well, that's on you.
[ Parent | on HN ]
Re:Are Monads a Waste of Time? by tome on Wednesday February 21, 2018 @01:08PM (#16431508)
> Monads force a denotation of sequencing

Aha! Now we're on to something.

[ Parent | on HN ]