Elixir: Gradual Set-Theoretic Types (opens in new tab)

Elixir is in the process of incorporating set-theoretic types into the compiler. This document outlines the current stage of our implementation for this Elixir version. Elixir's type system is: