Why Types Matter

Marcelo "Haskell" Camargo

Systems analyst, translator and programming languages researcher

marcelocamargo@linuxmail.org

github.com/haskellcamargo

About

Programming languages researcher and designer

  • Capybara lang
  • Quack lang

Translator

  • Mozilla Foundation
  • WPS Office
  • Geany
  • phpMyAdmin (and so on...)

TOC

  • The problem
  • Basic definitions
  • Type-coercion is error-prone
  • The compiler is lazy
  • Proving the things!
  • Curry-Howard isomorphism
  • WHY TYPES MATTER

Title Text

Made with Slides.com