FINITIO

Finitio is a data language. For now, it is limited to a data definition language (DDL). Think "JSON/XML schema", but the right way. Finitio comes with a dedicated type system for defining data and a theory, called information contracts, for interoperability with programming and data exchange languages... Suppose an invalid document comes in. With Finitio, you properly validate input data and get friendly error messages.