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

Channel:
United States Confreaks
Subscribers:
42,400
Published on ● Video Link: https://www.youtube.com/watch?v=JT0ECYZ9FaQ


Duration: 48:58
4,320 views
79

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.



Other Videos By Confreaks


2016-10-05RustConf 2016 - The Illustrated Adventure Survival Guide for New Rustaceans by Liz Baillie
2016-10-04RustConf 2016 - Using Generics Effectively by Without Boats
2016-10-04RustConf 2016 - Closing Keynote by Julia Evans
2016-10-04RustConf 2016 - RFC: In Order to Form a More Perfect `union` by Josh Triplet
2016-10-04RustConf 2016 - A Modern Editor Built in Rust by Raph Levien
2016-10-04RustConf 2016 - Back to the Futures by Alex Crichton
2016-10-04RustConf 2016 - The /r/playrust Classifier... by Suchin Gururangan & Colin O'Brien
2016-10-04RustConf 2016 - Integrating Some Rust in VLC Media Player by Geoffroy Couprie
2016-10-04RustConf 2016 - Opening Keynote by Aaron Turon & Niko Matsakis
2016-09-27ElixirConf 2016 - WebRTC and Phoenix, when μ Seconds aren't Fast Enough by Jason Stiebs
2016-09-27ElixirConf 2016 - Dialyzer: Optimistic Type Checking for Erlang and Elixir by Jason Voegele
2016-09-27ElixirConf 2016 - Concurrent Feature Testing with Wallaby by Chris Keathley
2016-09-27ElixirConf 2016 - Building Available and Partition Tolerant... by Gabi Zuniga
2016-09-27ElixirConf 2016 - Building Umbrella Project by Wojtek Mach
2016-09-27ElixirConf 2016 - Elixir in Elixir by Jay Hayes
2016-09-27ElixirConf 2016 - Painless Test Driven Development with Elixir and Phoenix by Kat Tornwall
2016-09-27ElixirConf 2016 - Nerves + Phoenix Saves a Father's Sanity! by Joel Byler
2016-09-27ElixirConf 2016 - Leveling Up With Ecto by Darin Wilson
2016-09-27ElixirConf 2016 - Refactoring Techniques for Elixir, Ecto, and Phoenix by Gary Rennie
2016-09-27ElixirConf 2016 - String Theory by Nathan Long & James Edward Gray II
2016-09-27ElixirConf 2016 - Keynote by José Valim