Главная
Study mode:
on
1
Introduction
2
WhatsApp Code Base History
3
Why add specs
4
Problems with specs
5
equalizer
6
dialysis
7
Gradle typing
8
PHP
9
Dynamic Type
10
Type Checkers
11
Development Goals
12
Graduality
13
Types
14
Gradle
15
Timeline
16
Conclusions
17
Questions
Description:
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.

Typing Erlang with eqWAlizer - Static Typing for Large Erlang Projects

Code Sync
Add to list
0:00 / 0:00