This video was recorded at ElixirConf EU Virtual 2020 - https://www.elixirconf.eu/ More great virtual tech conferences - https://codesync.global --- Types and Erlang from Dialyzer to session types by Charlotte Lorelei De Oliveira ABSTRACT Considering Erlang is widely known by its focus on fault-tolerance and, by consequence, guarantees of reliability, there have been several attempts to improve Erlang programs by proving their correctness with type systems but such attempts have failed. This talk proposes to explain what is a type system, why attempts to type strictly Erlang have failed and how the theory of Session Types might prove to be a way to achieve correctness in environments like Erlang's. --- THE SPEAKER - Charlotte Lorelei De Oliveira Charlotte asks too many “whys” and “hows”, this got them to become someone who thinks too much on how to improve things for everybody. --- ElixirConf EU Website: https://www.elixirconf.eu/ Twitter: https://twitter.com/ElixirConfEU