The War on Types has been going on for so long,
no one remembers why it started.
The Dynamicists want flexibility, the Statiques
want safety. Since I started programming, I jumped from one side to the other,
writing PHP, C++, Ruby, Java, Erlang, OCaml, Elixir, ReScript, JavaScript and
Rust, I learned that we are all really fighting the same thing:
Complexity, but are limited by how our brains work.
In this talk, I want to show you how I learned about different type systems,
what are types great for, what do all of them have in common, and how I
now see Types as a Developer Accessibility tool that helps me keep
Complexity at bay when I work with complicated domains, growing teams, large
codebases, and perhaps the most underestimated of enemies we have when building
software products: time to market. Who knows, you may end up writing OCaml by
the end of it!