Parametricity, Types are Documentation

Please log in to watch this conference skillscast.

This talk will build on the work of Philip Wadler (1) and Danielsson et al (2) to demonstrate using types to document source code behaviour and to assist in reasoning about code. Specifically, the concept of parametricity is used to tacitly eliminate possibilities in code behaviour leaving only a few, sometimes even one, remaining potential candidates.

1. Theorems for free!, Wadler, Philip, Proceedings of the fourth international conference on Functional programming languages and computer architecture,
   pp 347 – 359, 1989, ACM
2. Fast and loose reasoning is morally correct, Danielsson, Nils Anders and Hughes, John and Jansson, Patrik and Gibbons, Jeremy, ACM SIGPLAN Notices, vol 41, num 1, pp 206 – 217, 2006, ACM

YOU MAY ALSO LIKE:

• Trees That Grow (SkillsCast recorded in May 2019)
• co-log: Composable Contravariant Comonadic Logging Component (SkillsCast recorded in May 2019)
• Functional Programming in ... SQL? (SkillsCast recorded in May 2019)