Programming with union, intersection, and negation types

Giuseppe Castagna

In this essay, I present the advantages and, I dare say, the beauty of programming in a language with set-theoretic types, that is, types that include union, intersection, and nega…