Hacker News Reader

For anyone interested to start on this subject, Philip Wadler's Category Theory for the Working Hacker [1] is an excellent introductory lecture for building an intuition.

[1] https://www.youtube.com/watch?v=V10hzjgoklA

View on HN

This seems to presuppose a good deal of functional programming background.

Not a criticism, just a note to anyone thinking of spending an hour with it.

just to note this talk briefly alludes to another subject, the Curry–Howard isomorphism, something Philip Wadler had similarly given a talk about at Lambda Days (2016) titled 'Propositions as Types'[1] (slides [2] and the video recording[3]).

[1]: http://www.lambdadays.org/lambdadays2016/philip-wadler

[2]: http://www.lambdadays.org/static/upload/media/14562260715188...

[3]: https://youtu.be/aeRVdYN6fE8

That youtube lecture was really interesting.

The very ending was awesome as well!

Reply on news.ycombinator.com