论文标题
走向更完美的联盟类型
Towards a more perfect union type
论文作者
论文摘要
我们提出了一个原则上的理论框架，用于推断和检查联盟类型，并在JSON数据结构上展示其工作。该框架从多个示例中提出了一个联合类型推断作为学习问题。分类框架是通用且易于扩展的。
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.
