What do you think about Teleport [0]? It is more like an actual type system (with dependent types!), with type signatures that get encoded in JSON. In Python (t

What do you think about Teleport [0]? It is more like an actual type system (with dependent types!), with type signatures that get encoded in JSON. In Python (the only functioning implementation thus far), a real definition looks something like this [1]. Rather than providing a big fixed set of types, Teleport provides just the basics and allows you to define your own types, be it JSON-encoded primitives or fancy deeply nested structures. Since my partner left to work on something else, work on Cosmic slowed down, but I'm successfully using Teleport at my day job and planning a new release soon, along with a complete JavaScript port. [0] http://www.cosmic-api.com/docs/teleport/python/latest/ http://www.cosmic-api.com/docs/teleport/python/latest/ [1] https://github.com/cosmic-api/cosmic.py/blob/master/cosmic/types.py#L121 https://github.com/cosmic-api/cosmic.py/blob/master/cosmic/t...