Minimal JSON Type System
Teleport is a minimal type system designed as an extension of JSON. It comes with 10 types sufficient for basic use, but it defines a pattern for extending it with arbitrary types. Teleport's type definitions are JSON values, for example, an array of strings is defined as {"Array": "String"}. Teleport implementations can be used for data serialization, input validation, for documenting JSON APIs and for building API clients. This document provides the mathematical basis of Teleport and can be used for implementing libraries.