4 ms·
in case it isn't loading for you too: https://web.archive.org/web/20230625182521/http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html h
by recursivedoubts 3y ago
in case it isn't loading for you too:
https://web.archive.org/web/20230625182521/http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html https://web.archive.org/web/20230625182521/http://james-iry....
my favorite part:
> Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"
- momentoftop 3y agoI was at Edinburgh when this came out, and it went round the mailing list. Wadler replied saying he wasn't aware of the fact, and wanted to know the proof. I was sharing an office a few floors down with Roko of Basilisk fame, who was the category theory guy. He thought about it for a few minutes and then took us through the proof on the board.
- recursivedoubts 3y agothis is the hardest I've ever been flexed on at HN well done
- aidenn0 3y agoAt least they haven't won the Putnam[1] 1: https://news.ycombinator.com/item?id=35079 https://news.ycombinator.com/item?id=35079