Towards a perfect union type: automatic typing of JSON documents

Speaker(s)

Michał J. Gajda

Affiliation

MigaMake Pte Ltd

Date

Jan. 25, 2024, 12:15 p.m.

Room

room 4060

Seminar

Seminarium "DeSeR: Dane, strumienie, rozpraszanie"

---

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.

---