Strong arrows: a new approach to gradual typing

This is article expands on the topic of gradual set-theoretic typing discussed during my keynote at ElixirConf US 2023 . There is an on-going effort to research and develop a type system for Elixir , lead by Giuseppe Castagna , CNRS Senior Researcher, and taken by Guillaume Duboc as part of his PhD studies. In this article, we will discuss how the proposed type system will tackle gradual typing and how it relates to set-theoretic types, with the goal of providing an introduction to the ideas presented in ou