FUML – a new data serialization language based on type theory

- Its based on type theory, and thus supports data types like tuples, records, and sum types. Those are explained in the specs.

- Does not use quotes to describe property names. Has a unique syntax for large property names.

- It allows for setting a nested property value directly.

- Its also a language to describe the data schema.

- Its syntax is similar to F# and OCaml, so users with some background in functional programming languages should feel it easy to work with.