Gradualizer: Challenges Implementing a Type Checker

Type systems and gradual typing are beautiful, and we would all love to have a type checker for Elixir that finds all type errors at compile time. But let's put the theory aside and see what the every-day difficulties of implementing such a type checker are — and how to test it properly, maybe with property-based testing.

After this talk attendees will appreciate the many years of development and discipline put into Dialyzer, and see the added value Gradualizer can bring.