User loginNavigation |
archivesPhilip Wadler: Category Theory for the Working HackerNothing you don't already know, if you are inteo this sort of thing (and many if not most LtU-ers are), but a quick way to get the basic idea if you are not. Wadler has papers that explain Curry-Howard better, and the category theory content here is very basic -- but it's an easy listen that will give you the fundamental points if you still wonder what this category thing is all about. To make this a bit more fun for those already in the know: what is totally missing from the talk (understandable given time constraints) is why this should interest the "working hacker". So how about pointing out a few cool uses/ideas that discerning hackers will appreciate? Go for it! By Ehud Lamm at 2016-08-07 17:26 | Category Theory | Lambda Calculus | Semantics | 106 comments | other blogs | 57165 reads
|
Browse archivesActive forum topics |
Recent comments
6 days 21 hours ago
1 week 52 min ago
1 week 58 min ago
23 weeks 1 day ago
27 weeks 3 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 5 days ago
36 weeks 2 days ago
36 weeks 2 days ago