undefined | Better HN

0 pointsmatheusmoreira2y ago0 comments

> Given that a monad is an interface for sequential computation

And what the hell is an interface for sequential computation? I think I understand what these Maybe types are and what they accomplish but "interface for sequential computation" sounds a lot like those buzzwords people mix together that could mean anything.

0 comments

hgsgm2y ago

It's an API for ensuring work gets done in a specified order.

Like opening the jar before sticking a knife into the peanut butter.

matheusmoreiraOP2y ago

Yeah, well, so is every programming language ever created. When I write any code at all, it's to ensure the instructions are laid out in the correct order for the computer to execute.

j / k navigate · click thread line to collapse