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 | 57157 reads
|
Browse archivesActive forum topics |
Recent comments
3 days 49 min ago
3 days 4 hours ago
3 days 4 hours ago
22 weeks 4 days ago
26 weeks 6 days ago
28 weeks 3 days ago
28 weeks 3 days ago
31 weeks 1 day ago
35 weeks 5 days ago
35 weeks 5 days ago