This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 What’s new in Gradualizer: Type checking Erlang and Elixir | Radek Szymczyszyn - Architect Team Lead ABSTRACT Gradual typing is a bit like static typing, because it provides error messages if your code has types and specs - and any errors, obviously. Gradual typing is also a bit like dynamic typing, because it doesn’t require all the functions to have specs and just agrees when you say: “Trust me, I’m an engineer!” Gradualizer, introduced at Code Beam Stockholm by Josef Svenningsson, is a gradual typechecker for Erlang. I’ll describe some changes, improvements, and challenges we faced and managed to overcome since mid-2021. I’ll also introduce Gradient, an Elixir frontend, and show how to type check Erlang and Elixir code. • Timecodes: 00:00 - 04:36 - Intro 04:37 - 11:46 - Statically Typing Erlang: State of the Art 11:47 - 16:43 - Quantitative Comparison 16:44 - 29:38 - Demo: TypedServer in Elixir with Gradient 29:38 - 39:31 - Qualitative Comparison on Selected Examples 39:32 - 42:27 - Conclusions 42:28 - 44:59 - What's new? What's Left to do? 45:00 - 47:30 - Contribution + QnA • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global