Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Philip Wadler: Category Theory for the Working Hacker