User loginNavigation 
Philip 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 LtUers are), but a quick way to get the basic idea if you are not. Wadler has papers that explain CurryHoward 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 20160807 17:26  Category Theory  Lambda Calculus  Semantics  other blogs  54824 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
4 hours 26 min ago
10 hours 48 min ago
10 hours 57 min ago
11 hours 18 min ago
1 day 10 hours ago
2 days 14 hours ago
6 days 15 hours ago
1 week 6 days ago
1 week 6 days ago
2 weeks 6 hours ago