HN Theater @HNTheaterMonth

The best talks and videos of Hacker News.

Hacker News Comments on
What Code Does vs. What Code Means

begriffs.com · 61 HN points · 0 HN comments
HN Theater has aggregated all Hacker News stories and comments that mention begriffs.com's video "What Code Does vs. What Code Means".
Watch on begriffs.com [↗]
begriffs.com Summary
Using Haskell to think about program semantics
HN Theater Rankings

Hacker News Stories and Comments

All the comments and stories posted to Hacker News that reference this video.
Dec 26, 2015 · 61 points, 3 comments · submitted by begriffs
skybrian
How does this improve on the Interpreter pattern? [1]

[1] https://en.wikipedia.org/wiki/Interpreter_pattern

tel
It's related.

One way to see monads (but don't take this for a tutorial or the "one true way" or anything like that) is as a special data type which captures the binding structure of a language. They have good "generic" structure and the "free" monad is the expression of that generality showing how you can factor the "binding" bit and the "effectful" bit apart.

The interpreter pattern is huuuge. There are so many ways to use it. Free monads take one fruitful corner and show you a highly natural way o organize and exploit it.

golergka
Apart from this talk being good, I really want to thank the author of the points. Too many great talks on CS topics stay only in video form, which require an hour to consume, and never get a good TL;DR treatment.
HN Theater is an independent project and is not operated by Y Combinator or any of the video hosting platforms linked to on this site.
~ yaj@
;laksdfhjdhksalkfj more things
yahnd.com ~ Privacy Policy ~
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.