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
Why Types Matter
By Marcelo Camargo
