TS Conditional Type

A method to perform branching while inferring types


type Example1 = Dog extends Animal ? number : string;


type Entry = "In" | "Out";
type InOrOut<Type extends `fade${string}`> = Type extends `fade${infer Return}` ? Return : never;


// type I = "In"
type In = InOrOut<"fadeIn">;
// type O = "Out"
type Out = InOrOut<"fadeOut">;

TS Recursive Conditional Type

define type recursive conditional

TypeScript 4.5 performs some tail-recursion elimination on conditional types

it doesn't error even with deep recursion and optimizes by avoiding intermediate instantiations


type TrimLeft<T extends string> =
    T extends ` ${infer Rest}` ? TrimLeft<Rest> : T;

// Test = "hello" | "world"
type Test = TrimLeft<"   hello" | " world">;

// error: Type instantiation is excessively deep and possibly infinite.
type Test = TrimLeft<"                                                oops">;

Announcing TypeScript 4.5 Beta

Today we are excited to announce the beta release of TypeScript 4.5! To get started using the beta, you can get it through NuGet, or use npm with the following command: npm install typescript@beta You can also get editor support by Downloading for Visual Studio 2019/2017 Following directions for Visual Studio Code and Sublime Text 3.

https://devblogs.microsoft.com/typescript/announcing-typescript-4-5-beta/#tailrec-conditional

TS Conditional Type

TS Recursive Conditional Type

define type recursive conditional

Backlinks

Recommendations