Leandro Ostera

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!