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. Validating Coercing Suppose we want to capture information about a medical diagnosis for