Typical
Typical is a playground of type-level operations for TypeScript. It is mostly experimental and not ready to use yet. For a lib usable today, try one of the other type libraries.
Docs
Background?
Typical has had a long-term focus, exploring what we can do with types. The end goal is to enable type-safe functional programming with e.g. ramda and partial lenses. Existing typings provide some level of type safety, but not enough. Front-end engineering is a royal pain, and functional libraries would save us given proper type inference.
Contributing
These can be rerun with npm test.
Similar projects
type-zoo, a modest type lib usable todaytypelevel-ts, a type lib by @gcanti, author of several FP libs in TS