ElixirConf 2016 – Dialyzer: Optimistic Type Checking for Erlang and Elixir by Jason Voegele – YouTube


By Erlang Central | Published: January 24, 2017



Optimistic Type Checking for Erlang and Elixir by Jason Voegele

Static typing versus dynamic typing is an age-old debate amongst computer scientists and programmers, and the fact that we still argue about it suggests that there is no single right answer for all circumstances. But what if we could have the best of both worlds by combining the safety guarantees of static type systems and the freedom and flexibility of dynamic type systems? In this talk, I will present an introduction to an optimistic, gradual type system as implemented by the Dialyzer tool for Erlang and Elixir. I will highlight the differences and trade-offs between static and dynamic typing, and present optimistic, gradual typing as a good compromise.
Category
Science & Technology
Licence
Creative Commons Attribution licence (reuse allowed)



Follow Erlang Central:


Have an Erlang Question?

Reach out to the Erlang community