Towards a more perfect union type

11/05/2020

∙

by   Michał J. Gajda, et al.

∙

0

∙

share

We present a principled theoretical framework for inferring and checking the union types, and show its work in practice on JSON data structures. The framework poses a union type inference as a learning problem from multiple examples. The categorical framework is generic and easily extensible.