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 epgui on Tuesday August 22, 2023 @12:08AM (#37218575)
> What on earth makes you convinced that a monad can be implemented in Excel

True monads can't even be implemented in Haskell. But if we're being practical, you can totally implement monad-like things in Excel. It's almost impossible not to implement monad-like things when building anything non-trivial.

[ Parent | on HN ]
Re:What does it mean for a monad to be strong? by kfixjviv on Tuesday August 22, 2023 @11:08AM (#37223857)
I don't think making this claim is helpful. Monads aren't found everywhere in code. Solving a problem which could be solved by monads doesn't automatically lead to code that works in a monad-like way, not in any meaningful sense.
[ Parent | on HN ]
Re:What does it mean for a monad to be strong? by epgui on Wednesday August 23, 2023 @10:15PM (#37244303)
> Monads aren't found everywhere in code.

I completely disagree... The distinction is simply that they're usually ad-hoc and not formalized, mainly because the author didn't know what they were writing and was reinventing the wheel.

[ Parent | on HN ]