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.
About Philip:
Philip Wadler is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming[8] and the use of monads in functional programming, the design of the purely functional language Haskell,[9] and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0.[10] He is also the author of the paper ‘Theorems for free!’ that gave rise to much research on functional language optimization (see also Parametricity).
Cool Fact: In 2005, Wadler became a Fellow of the Royal Society of Edinburgh and in 2007 was inducted as a Fellow of the Association for Computing Machinery. Find out more at here: Philip Wadler’s home page
About Lambda World:
The 2016 Lambda World brought together Functional Programming enthusiasts from around the world for two days of presentations, hacking, networking, and a healthy dose of partying in Cadiz, Spain. Hosted by 47 Degrees, the event also featured a Typelevel Community Conference and a Scala Center Hackathon.
Join in on the conversation at / lambda_world and / 47deg using #LambdaWorld.
Stay tuned to www.lambda.world and www.47deg.com for more on the conference and announcements for the 2017 event.