News for hackers. Stuff that matters.

A comment on What does it mean for a monad to be strong?. Parent comment

Re:What does it mean for a monad to be strong? by hackandthink on Monday August 21, 2023 @05:16PM (#37215481)
>What is different about a math monad that makes strength no available, and why is that interesting?

Let's turn it around. Why is strength for Haskell Monads interesting?

Answer: it enables a nicer do notation, you can use intermediate values:

https://mroman42.github.io/notes/Pieces/Do-notation-for-stro...

[ Parent | on HN ]
Re:What does it mean for a monad to be strong? by gowld on Monday August 21, 2023 @08:00PM (#37216894)
I can't read that handwriting.
[ Parent | on HN ]
Re:What does it mean for a monad to be strong? by phibz on Tuesday August 22, 2023 @08:09PM (#37230258)
Read yes, understand... that's a different story.
[ Parent | on HN ]
Re:What does it mean for a monad to be strong? by trust_bt_verify on Monday August 21, 2023 @08:23PM (#37217027)
Nice handwriting and explanation. Thanks!
[ Parent | on HN ]