Exploring Set-theoretic Types in Elixir for Enhanced Type Safety

In this talk, Guillaume Duboc introduces the concept of set-theoretic types, which are being explored as a means to enable typing in Elixir. The presentation delves into the intricacies of a type system that is being retrofitted onto an existing dynamically typed language like Elixir. Duboc explains how the representation of types can be achieved using Elixir maps and illustrates intuitive concepts such as union and intersection types. The audience gets insight into the opportunities and constraints involved in integrating a type system within Elixir, emphasizing the principles of gradual typing to ensure a smooth transition for developers from untyped to typed code. By outlining common challenges in type implementation, the speaker offers practical perspectives on how these set-theoretic types can be realized effectively while maintaining the essence of Elixir’s dynamic nature. Overall, the talk aims to enhance understanding of type implementation within Elixir and clarifies what developers can expect regarding type safety and structuring through this evolving typing framework.