3 ms·
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
by jingwen 10y ago
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 https://www.youtube.com/watch?v=V10hzjgoklA
- casion 10y agoThis 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.
- irfansharif 10y agojust 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 http://www.lambdadays.org/lambdadays2016/philip-wadler [2]: http://www.lambdadays.org/static/upload/media/1456226071518855propositionsastypeskrakow.pdf http://www.lambdadays.org/static/upload/media/14562260715188... [3]: https://youtu.be/aeRVdYN6fE8 https://youtu.be/aeRVdYN6fE8
- rocqua 10y agoThat youtube lecture was really interesting. The very ending was awesome as well!