Session-Based Typechecking for Elixir Modules Using ElixirST

on YouTube ↗32m

" summary

ElixirST provides a static session typing layer for Elixir modules and ships as a compilation‑time tool integrated into the Elixir pipeline. It uses session and dual annotations on public functions, extracts protocols from compiled code, and flags mismatched labels or payload types (e.g. string vs number) before runtime. The prototype targets the common server spawning handler pattern (one client one handler), proves session fidelity and progress, and reports errors live via the language server.

AI-written summary · about

" chapters (12)

1. 0:00Session-based typechecking intro
2. 1:07Elixir’s actor concurrency
3. 3:12Concurrent patterns in Elixir
4. 6:09Protocols for message interactions
5. 8:56Protocol violation failures
6. 10:04Annotating functions with types
7. 12:10Live ElixirST demo
8. 17:05Formal session typing
9. 20:32Validating session fidelity
10. 23:23ElixirST future directions
11. 24:32Conclusion
12. 25:18Q&A