Philip Wadler at Lambda World 2016

Philip Wadler at Lambda World 2016

 

Category Theory for the Working Hacker

The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between propositions and proofs in logic, on the one hand, and types and programs in computing, on the other. Category theory constitutes a third leg of this correspondence. Assuming only enough familiarity with functional programming that you know why ‘Lambda World’ has that name, the talk will explain how to model products (logical and), sums (logical or), and functions (logical implication), and why you already learned the most important stuff in high school.

Subscribe to our official YouTube channel to be updated when new videos are added.

blog comments powered by Disqus

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.