Type-level programming in TypeScript unlocks a realm of possibilities, leveraging the language's powerful type system to perform complex computations, validations, and transformations directly within the type system itself.
Table of contents
Table of contentsBasic TypesType AliasesInterfacesUnions and IntersectionsType GuardsGenericsMapped TypesConditional TypesRecursive TypesIndex TypesType AssertionsTemplate Literal TypesDiscriminated UnionsType QueriesPhantom TypesExample: typelevel addition8 Comments
Sort: