ArkType is a library for defining runtime types using TypeScript syntax that can be inferred 1:1.

Each character you type is instantly validated both syntactically and semantically using TypeScript's own type system, so you know exactly what to expect from editor to runtime.

Plus, since most definitions are just objects and strings, they can actually be serialized and eventually even shared across languages.

I would love to hear your thoughts on the concept and syntax decisions as I prepare to freeze the API for our first stable 1.0 release (we're currently at 1.0.5-alpha).

Gif and demo are super neat! I'll definitely be trying it out in my project!