gtkatakura-bysoft

hediet / main.md

Last active December 23, 2025 02:48

Proof that TypeScript's Type System is Turing Complete

type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];

3 files
0 forks
0 comments
11 stars

developit / *suspense-loader.md

Last active March 10, 2021 14:38

suspense-loader

Installation (sorry)

npm i THIS_URL

Usage

OlderNewer