News for hackers. Stuff that matters.

A comment on Why isn't the internet more fun and weird?. Parent comment

Re:Why isn't the internet more fun and weird? by cannabis_sam on Sunday February 10, 2019 @10:08AM (#19128038)
I’m not sure that discussion of monads is super helpful. It’s not neccessarily wrong, but it doesn’t get to the meat of the matter.

Monads doesn’t represent uncomputable values like sqrt(-1), it’s more like they represent a context, where computations take place.

So you can separate all computations involving IO into the parameterized function type ’Monad a’, where a is your result type

[ Parent | on HN ]
Re:Why isn't the internet more fun and weird? by cannabis_sam on Sunday February 10, 2019 @10:45AM (#19128195)
(In the IO case that would be ’IO a’)
[ Parent | on HN ]