This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Typed_erlc: Prototype of safe & fast compiler for Erlang | Dmytro Lytovchenko - Senior Developer at Erlang Solutions ABSTRACT Presenting a new compiler, which consumes classic Erlang syntax and outputs standard BEAM files. Explaining reasoning behind the project and what problems it is designed to solve, and what problems it may potentially solve in the future. Comparing to other compilers and other languages on the BEAM. This opens possibilities for new safety and style checks, new optimizations, new code generation backends (did i hear someone say WASM?), etc. OBJECTIVES Show the project in the making. Explain why it exists and how it is good for an average presentation listener. Explain how it will plug in into their tool chain and will help improve their code quality. AUDIENCE Erlang developers, mostly working/maintaining heaps of legacy code. • Timecodes 00:00 - 01:43 - Introduction 01:44 - 06:55 - I have a Dream 06:55 - 09:13 - What is this Project? 09:14 - 11:34 - Why it Exists? 11:35 - 14:27 - Progress 14:28 - 16:25 - H-M Type Inference 16:26 - 18:13 - Bidirectional Type Inference 18:14 - 20:23 - Distinctive Features 20:23 - 24:32 - Future Ideas 24:33 - 25:54 - When? 23:53 - 27:06 - Where? 27:06 - 39:11 - QnA • Follow us on social: Twitter: https://twitter.com/CodeBEAMio 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 See what's coming up at: https://codesync.global