Overview of Xeto

Library modules

Specification type definitions

Instance data

Closed set of libs that define name space

Core scalar and collection types

Tabular data structure

Predicates for querying Haystack data

Representation of timezones

Representation of units of measurement

Type system features

Composition through inheritance

Extend existing spec definitions

Global slot definitions

Lib and spec meta definitions

Enumeration specs

Mutually exclusive marker choices

Constraint rules used for validation

Specs that combine nominal and structural typing

Type erasure rules when mapping to other data formats

JSON representation

HTTP API protocol

HTTP API authentication

RDF interoperability

Standard model for component oriented applications

Markdown flavor

Build variables and lib packaging

Formal BNF grammar for Xeto

Changes for each version