The Design Principles of the Elixir Type System - Guillaume Duboc | Code BEAM Europe 2023

✨This talk was recorded at Code BEAM Europe 2023. If you're curious about our upcoming event, check codebebeameurope.com ✨
Abstract:
This talk will present the current state of Guillaume Duboc's PhD thesis on introducing a type system to Elixir. We will present set-theoretic types, and how they are uniquely suited to represent Elixir programs. Then, we will showcase the potential benefits of a type system designed for Elixir, such as detecting common bugs and providing direct feedback on code quality.
In addition to exploring the use of types to describe and enforce function interfaces, we will provide examples of new syntax for types that could be added to the language. We will also delve into the concept of gradual typing and its ability to mix typed and untyped code, as well as ease the optional transition of existing codebases towards types.
We will share my perspective on the state of the project, the forthcoming work, and the challenges we have faced, as this is joint work with Giuseppe Castagna and José Valim.
Let's keep in touch! Follow us on:
💥 Twitter: / codebeamio
💥 Facebook: / codesyncglobal
💥 Linkedin: / code-sync
💥 Mastodon: genserver.social/codesync "

[@simonjanssen4951]

This is great work done by Guillaume, Giuseppe & José! I'm glad to see it

[@stevenhe3462]

Looks super powerful!

[@MatthewPherigo]

Glad to hear of this work being done. I currently use the TypeCheck library, which has caught plenty of issues for me, but (from least to most important issue) slows down compilation, appears to be unmaintained, and has many bizarre edge case bugs. Hopefully I can replace it with this.