Invited Talk: A Type System for Elixir

on YouTube ↗44m

" summary

A formal calculus uses set-theoretic types (union, intersection, negation, singletons) and implements pattern/guard inference that computes possible/surely accepted types for exhaustivity and redundancy checks, plus narrowing to refine captured variables. Map types support optional and computed keys; row polymorphism and occurrence typing are planned. Gradual typing avoids inserted runtime casts by tracking strong functions and propagating a Dynamic marker. A working prototype exists, online and partially integrated with the Elixir toolchain.

AI-written summary · about

" chapters (12)

1. 0:00Introduction
2. 1:08Motivation for Elixir type system
3. 2:14Presentation goals
4. 2:35Basic type checking
5. 10:27Type inference for patterns
6. 15:24Formalizing the type system
7. 23:07Typing maps in Elixir
8. 26:23Gradual typing approach
9. 32:10Project progress
10. 33:40Future research
11. 42:18Conclusion
12. 43:01Q&A