![type Curry<F> = F extends (...args: [infer A, ...infer Rest]) => infer R
? (arg: A) => Curry<(...args: Rest) => R>
: F;
type Fn = (a: string, b: number) => number;
type Curried = Curry<Fn>;
// Result: (a: string) => (b: number) => number](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4vkspshcmybopmi5jufsce6b/bafkreigvtpqg7zoj75bcg2jmlq64f4gjgvfikjdsvh2pzzy3ab4gxd7qpm)
type Curry<F> = F extends (...args: [infer A, ...infer Rest]) => infer R ? (arg: A) => Curry<(...args: Rest) => R> : F; type Fn = (a: string, b: number) => number; type Curried = Curry<Fn>; // Result: (a: string) => (b: number) => number
TypeScript’s type system lets you extract inner types using infer and guide logic with conditional types. Think pattern matching for types! Combine both for powerful compile-time type transformations. 🔍💪 #TypeScript #Infer #ConditionalTypes #TypeLevelMagic #TSFeatures #DevTips
0
0
0
0
