Passionate and busy with developer tooling and programming languages for last decade in different areas:
From applying ideas of supercompilation in practice to automatic inference of annotations from Java bytecode in IntelliJ (https://blog.jetbrains.com/idea/2014/10/automatic-notnullnullablecontract-inference-in-intellij-idea-14/), modernising build systems for Oculus, and finally shipping the type-checker for Erlang working at WhatsApp scale (https://github.com/WhatsApp/eqwalizer).
(PhD in Computer Science).
In last year at WhatsApp we have successfully adopted static typing with eqWAlizer across the whole code base. In this talk we overview how static typing helps scale development of large Erlang projects, what problems it solves, and why we did NOT use Erlang for implementing the type checker.