Most AI Pilots Fail to Scale. MIT Sloan Teaches You Why — and How to Fix It
AI, Data Science & Cloud Certificates from Google, IBM & Meta
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore how WhatsApp successfully implemented static typing with eqWAlizer across their entire codebase in this 27-minute conference talk from Code BEAM Lite Stockholm 2023. Discover the benefits of static typing for scaling large Erlang projects, the problems it addresses, and the reasoning behind not using Erlang for the type checker implementation. Gain insights into WhatsApp's code base history, the introduction of specs, and the challenges faced with existing tools like dialyzer. Learn about the development goals, graduality, types, and the Gradle timeline for implementing eqWAlizer. Conclude with key takeaways and a Q&A session to deepen your understanding of static typing in Erlang projects.
Syllabus
Introduction
WhatsApp Code Base History
Why add specs
Problems with specs
equalizer
dialysis
Gradle typing
PHP
Dynamic Type
Type Checkers
Development Goals
Graduality
Types
Gradle
Timeline
Conclusions
Questions
Taught by
Code Sync