typed_erlc: Prototype of a safe and fast compiler for Erlang

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.