Type system updates: moving from research into development

A year ago, at ElixirConf EU 2022, we announced an effort to research and develop a type system for Elixir ( video presentation ) ( written report ). This work is happening under the lead of Giuseppe Castagna , CNRS Senior Researcher, and taken by Guillaume Duboc as part of his PhD studies, with further guidance from myself (José Valim). This article is a summary of where we are in our efforts and where we are going. Out of research Our main goal during research is to find a type system that can model most