This video was recorded at ElixirConf EU 2021 - https://www.elixirconf.eu/ Lightning talk: Typechecking Elixir | Radek Szymczyszyn - Technical Lead at Erlang Solutions ABSTRACT Dialyzer has paved the way for typechecking Erlang and Elixir code by popularising the use of "specs as documentation" and finding critical code flaws. However, can we use specs and types for a more type driven development? • Follow us on social: Twitter: https://twitter.com/ElixirConfEU LinkedIn: https://www.linkedin.com/company/27159258/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw