Steven
Steven
```ts type DeepOmit = Prop extends keyof O ? {[K in Exclude]: O[K]} : Prop extends `${infer Key extends keyof O & string}.${infer Rest extends string}` ? {[K in keyof...
```ts type Bit = '0' | '1' type BitwiseXOR = `${S1}^${S2}` extends `${LastBit}^${LastBit}` ? BitwiseXOR : `${S1}${S2}${Xor}` // end of S1 or S2 type LastBit = S extends `${string}${infer LastBit...
```ts type First = T extends [infer First, ...unknown[]] ? First : never ``` [Playground](https://www.typescriptlang.org/play?ssl=26&ssc=88&pln=26&pc=1#code/PQKgUABBCMAsEFoIDECWAnAzgFwgewDMIBBddAQwE9JEE76aAjSkgO2wAs9WXkBXCAAoAAuXYE+ASggBiAKblMLGeTJUaNGVogBFPnJypuGqAEkAtgAcANnPNz2EchADmDuelQBjCAAM0WNgAPAAqAHy+EJzkuNjkANYGTqwkaiy+IZFiACYQ6HLYfOismBCo2ADkpQQYOBBytvbsVVGUlnIAdCYoeOj1AB7kVrbdvmPYmDTYbXJOZNAQALwQANoV5BUANBAVjFs7XhUAulMzc+gATEurAMzbF9vQJ1Cn7RAcCtkLywE4QaroaBhCDAYADdpebByXLYPAQRizdYVV6zD7kbJXH61YIAi7A0HguSQ6FROEIiA3GhjXzdYEANVQcgA7vgUgBxcoACT4jAAXO9sNhLJheaCJl4OB0AFaYDq9FzAOBgEDAMBq0AQAD62p1up1EAAmngihAAMJ4bKzTkeWZ6u3aiAqtXTN6-YIhAZQ1jZUp8VjxVh4JmsFZHYHLD1yfpen2rVCsAgeFDY7YdNN+gNBkNHI4QAD8ycCEH5rDkADcPOqQFr7XqICEDLhTYokrW607UFZerEzgBvCAAUQAjnxyNZtgP+hDcABfCAEdB4cw7YQuuQICVj2ysNyYYB8bCoayYZFgNcQLwt0rLFY0SfToLD0fWIJuoIrO4QB4wMPbG5hMJNjvKciWCJ8x1fbF30EaRFmBaALk-ftyH5HBPB3CAZ1-IRYPgxCAKAqB71Ax8Rwgt9Q0AiBSwrdACOAh9wJfCi-UtGpS2ybDWLkdjoXok4zzODxFywa5bygAlV0wBAo2nGSyF6Gg3wqQNsFIChKAqQCaEkiYZJAyF5JEpSoP7AAGfl1jSAAZVBEgqTDtIEqsazbB1+HQTgkwAZShYVXLcx1VVAGhgW8jhVFmShjT6TA8GsA8jBKfkOEFYVRWAcVJRlOV0AVOBgDETAmUrKB6UZFk4oSw9uBFAUhRFMVMAlaVZXlRVYGAKrEtq0KIAAWV6WZTQi6xt13FK0sazLmuytq8uVVUwCAA)
```ts type Pascal = CountBananas; // For a banana tuple representing a number type Bananas = readonly '🍌'[] // To build the tree with N rows type GrowBananaTree = Tree['length']...
```ts type IsOdd = `${T}` extends `${bigint | ''}${1 | 3 | 5 | 7 | 9}` ? true : false ``` [Playground](https://www.typescriptlang.org/play?ssl=15&ssc=1&pln=16&pc=1#code/PQKgUABBDMAMcEYIFoIEkDOB5AJjyKyRxBARgJ4QBWAlgIYB2A5hgBaMQAUAArYy+wYBbAKYAXOgEoIAYlE4aAVyGyMYgE41mYAjL0QAiopFqaAewY6o68YvUMIG4xBoYIdCA2WkR6l27M8KwgAPggANRoRAHcICwgAcRoxAAlFUgAuCFYxMQAHDAzgYDEMAGNWADoqDEqzdSZgOEQwEGAdUAgAfR7evt6IAE0zOwgAYUCRCBTfKf75nog2nTFyPKnMXBwAHgAVCBEADzERBhw3LyEfdTCAXggAAwASAG9dgF8Hg+PT88fX0g0JhaMQQAA+EAA5JD3q8kBDoOCIABWJEAdiRAE5PhAAPyOdTOLIAMzoABsMCIOiBugt+hBdiZQWM6JS3HT6csaEI8vVQat1hAXhAAKIAR0U5IANKLDusyqD3hBieozCpIdwBSJkBVyWTTkwTMBFGIaBTISs1lMyqyTBB7gBtAgiuUiBXbcWSsnbTZ4bbIkIypwiEKB52u92e8k+7B+gBMsDj0EDBOMoal4flYg9Eujvp2CAALMjk0HCSGw1AXVmc16Y1ttghMXGAGwp0kUisZqsR7NR7357Zxyql5XkynpzNuvu5gexnbQERJ9vjrtTyOz+t+y7XFedycAXWptI5iwAYnYxKxfBAAMonAon09LdqgAhhW-sGwQcgjPwYMwyRNcwGEKbJcgKIoSnKKoajqBomngWAEGARgMGiXx3wiKJYgAoDTQsMCcnyQpilKCpqlqepGmaZDgDw4DCKwgBZeopjGdgyX1ZgTCyYjILImDKPgphWnaIA)
```ts // to determine if a string S is a definite string literal type. type IsFixedStringLiteralType = // Compare S to a union of conditions that would disqualify it from...
```ts type Unbox = Depth extends Count['length'] ? T : T extends Box ? Unbox : T; type Box = (() => I) | I[] | Promise; ``` [Playground](https://www.typescriptlang.org/play/?#code/PQKgUABBDMBMAssDsEC0ECqA7ARgewA9I1VSzicBPCAKQFcAbASwEMsIBhPagCgAEApgA0WAWxYATAXQDOASggBiABYsAThKV0ALkwYylABzV5RTGQKUAzOlgDGuvO0Xa6hhpcXq1LSmGKKgRAAinQCMo5Y-lAAEngA7hB2bBDxljh0eposENqUhpbaqtoQAES2+AThpRDevjIANBA29pGNEMam5uFNbJqu7uEA-NEQAKIEYoMAXKMABgt5BTJ2akyG2sTYlQA8EWtYAOYAfBDAwBD7TEdbuIQ7PHIAvMdYdKI4Amqn5xBvH19brt8HgPGwANoAXR+FxBYKiUG29wACiYzBYdnCBGxjjCIFi2MQFnNRgAhJyyaacFJpCDiADWliYJTUAjsdDUMiYADcBCMiYt8uFVutNoi7gQHgoXhBHhAZXKFdLTv9Pt8zhdVYCoMTRgARPB0HAeCDkt4yKkcGmWOxObQmBi5ZSWVnszlMJz8nWC5YijZA+6K05B2XK0PylXvNVNaB4kNatQCknEU4ANSYAkSTggAHFmTEjVTlNptIYLedtCtlAA6ABWMmreDUh2AcEQSDAIGA-lAEAA+gPB0PBxAAJqGtScPBSCAxL6WYeLgcQLv+JaWJGSgAqTT1Ag2yggAgI2gEWAkBgT8ogAAYmlxbCVj6fzwYAOSAHg3ADL7b6h173B5HieZ4XreEBDH8Ai8pOVJQqcTzEABRRAS+oEPlg2jgm+HhHEUb6QsQUAQVuxBUluKEgQY5KStcVhfBAACSxyEeBmASjsDG7vuRRNOC1b8eh2hNJ+P7QqREBbgA3GA66mvcTHXjwIYMQoAA+jF-upqJdBiTHSWAvZLouEnhCUVoWAYRnDiu3ZMKIhhNiUskAN7jAAjnQLAME0EwFA4EAAL7NGiEBvnw66oHYqgMDhhzhMAOh6DIb5rkKSQsBZ17gsQvykhlNr5TIxC+Wy2g7GMHleTsm47AmxxNHV9XFQQfllRVnkMNV7HxlGXz1X8vXfE1UAlQ45WVZ1NU9QCk7qVcRz9Vec32tcJzDeMLWleNHVdbsCZwQ1g24g0zWtdtVVTUtlwrUccgHQNM0QMtBxrSdI2bWN7UXex4IJtCh0zcdp1bV9k3sdp6ICLVR2LTDJ05RcZqUhAABKbIclyTjA59E27YGYYQ90UoRhAACCag+JQOyExiBJYLix34ngoLYvTTUI3J5pUmj7KY+wHi8vo2NtbjU1hiGEthgmTQ3rDgPraNIs7WLJOS6rUuDU0ACM-Vq0qJONW9G1naDeOSnrwbixrM1NLAutWwbcPC+dYO7Bb4b6zK0swPbjvy0bisu2bxOe5b6t+9GEDwHLapA+9Jui91Duhx7kY2xAACsMd9QrH1K99e2DVCxeQlCMvZ0NAd50HNX7aX9dlxAOsA2qJdwbnCfK+xddt5CtsVyXcfGyDieFzNveN7GLdfO3VedwX9w9w3fdRxXQ+B6btdF8vjdZ9PlfO5vP3giff2Quf5f7+v1dH7sJ+n4N58X03-X32f0IdyPXd32-j9P-3vFfp-2vvPV29x75AJmk-FeU8ICQLVB-OeX8F6Sgge-Fe0cr6fxxt-cBv8oH-0zmvbB+cwGShplDCh1M0RE0av1WWWCkE4JQdQnSlCaEYioXQ7W-UqFcJhiA5BZDWGQxEUTfh8t+p2yaBI2OgjmHCL4Rw9hbDoaSJjMQphpDg5KNUbInO-VMEPTkSdAiBkQD9isiOAAYhyIo9EADKp4yyWKsX2Gy5iUwQAcaoVkEBKATkuKCRKTgLQQGLKWcswBKxRTrA2JsLY2zIGAGwGQaRExQDTBmRIMhgltCLCWMs0wKxVjiY2ZsrYEDJNyQwEJWAiqZIgAAWSbJYDg0VYrhAKZE4p0TSn1nKYcTs3YgA)
```ts type ExtractToObject = { [K in Exclude | keyof T[U]]: K extends keyof T ? T[K] : T[U][K & keyof T[U]] } ``` [Playground](https://www.typescriptlang.org/play?#code/PQKgsAUABFBMCcA2ArABigWigUQB4BcAnAQwGN8AVAewHkAjAKwFNzIYMPOM2o6BPKAFliuAJYBbKACFiALwCuTAG5QAFAAE6c+QGtiyAByoAjAEooAYnFMAJqPmSLVRi3yQeFz1ACKigM74olQAdu7QUACS4gAOADZM1sH4UMRQ+HzRTGkAFsTJTAQk5FDRhFTRUErEsYppVDlZoklMhABmZEwAdFAU2VnpmWnEOkx+DWkA7vXEhADmDkxJft29WVTy+NEbUH7Z67E2vFnEwVDOzMUTovjZ46XlldX+nTwwAAplFVU1jWPnri8IK8oAAxKiEKAFYgxeJhGAAA0R+D8PAGWQoo2SAF4oABvKCiGwALigAHJjKSADRQcR8D7lEn41pUKgk0mwUlQAC+XNRGSyACVRvJYticIUyJRaC5yAAeDEBamk2n06KkgB8UGAwEhuEy5FsdSOeIJxLJFOpzNZZI53J4iPhcKgmoAaqImBMzqcAOLXAAS8joJOy+E2fiJ2uRpGynQYy3Bs2ACBQqEgIGAYVAUAA+rm8-m81AAJrrCEAYSoNiyfpaWQL9dzUHTYTR4qIkuo9Au+Hl1IAqrr8IsbGMRnwqK0epqsTxccCANoAaQJpzwpBqVdlY4nPX7moAPlBt5OKPO+wBdc9E4EwZcFIfBEdHpjjk83qAAfh6S-P75Jp4vJcoAAMmfV9vwvX9wl5IEICzBt6x6TEoDLYg-FGHMEPzJsMwgCRonBZJW3xbAAEd5Gqak8H1ZIuSgVoykkUl1DRDBo2qeJglmUZgA2URYj8UkW35NJMWMKAcXxQk2QtGk6U+Rl6JZNlbTomDIFbIcAmo1xxMknhpPNITwitFTjPUiBNMxWAJLxAyzXJYyYHuaJjEU2RlJtTkYOcz5YEU0yyQAFm8yALKs7S9VcGz9PCQzHJ4Fy3JNDzrXZUKTM80kQrC4TBi0-AAGZbLncIkvcrKOWpYgSVgakgygILqVIEkAHY7TKvyAqykLqSUWrqTNJqoFmNqOpgHRaoMeBctgiL8B08hitimBUrMngargHgGqCngWqgVrEq6k1AuyqlKgGqAhupUaDvGo8ppmiBwpEgqgpK00ZPOlUFJOyrvI6jTXsxRb8HelbPqMngfoZP60tU2agcGUg0IwnF5x4UHZTIijYmxiVyE7GUewK4wlRhtV1WpArQeMdUqcxqK5Rx6p8fbQnpW7WUCrqskXI5KnRMimjYHpylGZo7HyNZvB2alLtXG5zFCqVJKNWpkGmaKsWeG1KAWL8DAChoo3CDKQgJcVlm8dlop5eJpWAmG0kXJCwWaa1oKdYgKDIHgrDCxBeRCBuFooAAZSHaIxgDwtmzg8Bwk1cPckILJx2DnYqBqQIQnDKAQzDCNgCjGM406BMkyQNBgBOPwJhaHhXXdT0-Gzvi8+DUNo+L0vY3jOYq5TYA25zoJghRJOhHBLIy1yWJOO4-PC57yM-GjfuK7mNNcKAA)
```ts type ParseQueryString = S extends `${infer Prefix extends string}&${infer Suffix extends string}` ? [ParseQueryString, ParseQueryString] extends [infer First extends Record, infer Rest extends Record] ? {[K in keyof First...
```ts type Combs = T extends [infer First extends string, ...infer Rest extends string[]] ? `${First} ${Rest[number]}` | Combs : never ``` [Playground](https://www.typescriptlang.org/play/?#code/PQKgUABBBMCMsAYBsEC0EDCB7AtgIwEsA7AQwBcCsiIBrAUwE8IyGAHOyNVbnzvJgHIkArgA8AzgGMATgVZkIACgACQsVNnyAlBADEOOgBMCwnGE67LEAIrC64ilXNRYAOky5CROhBzCANhSs-j44WMYAZgR00rSM4gA0EHjCCmQAFj7iJAa+4QRRMXFMkp7E5JTUkiRERFgKJKzsJNKunNDuAJLUGT4ABgCy+YXSANLxfRCs0lgAbgSGRkm9U7JYsiwQWBHMmat081jC4hCzJP52EAQn6QQA5pmxGTW7Pv7kZEVnF3QA3LvkK6JCB9SQ4QwQSRkaT+SbXCAAeVGSRSClB0P8kPBcJOdQa-n8WAA7kY2pwAHwQABq0SJW2oAHECGQABLCPAALgg6TIZFY4g5wGAZCk6VcACtxK51ndgHBEEgwCBgOZQBAAPqarXarUQACaR1i2EWEBZMR8OstmogyvMLHYHnw4gAPAAVCB0USfIiGE4OWREO4AbQAupSALycd2e72+iBB4gRIoAMQI0gcHq9dB9fuhxDuSVcRcTRQASvYFDHs3H-fnQyHOFAAPwggAkAG9U+myABfCAd8sOINEUx4GIhnuTAA+jrwLsHZHJnC53lmMVVIA1Vp1EFdFcwJHE9i3291toIOFY6zSbB87YgAFEAI7Cc5JB+idhQiB9iIzHAQAA5Mo9p0KgkjpOcISBvYwCpAQ-jiIBdq3hAQyRNEYzxBA4bxoBYKGIBST4RiRFAVg8hkYBEREIBDagQeR6ureCLeDhQEEZCpEQDO+HglslE8Rx-E0YBQkkTCAlkGJvFQpJoniRRCiiShDrVEeJy4UGnAfl+ZDOs+r7+M62BOs66EFJh4wMOI5JJBgh50Mx7CsXQ5J2WADZgGqp7ahAybCNIvSxAAyp8-Inr5NoqqAFIQCFkHSD4DCGhA4hYBcjhEAK3K8vygrCqKEpSjKcrwMgwA1OIJLSHFNJ0HS6WZZUOU8nyApCiKEHFdK0iyvKFVNfBVDiHFQxJZgkEEtmdz2FybX5Z1RWSr1dxKiqQA)