Compiling Gradual Types with Evidence

José Luis Romero, Cristóbal Isla, Matías Toro +1

Efficiently supporting sound gradual typing in a language with structural types is challenging. To date, the Grift compiler is the only close-to-the-metal implementation of gradual…