3 ms·
Here’s an implementation of lambda calculus (which is TC) at type level in TypeScript: https://github.com/EvolveYourMind/ts-lambda-calc https://github.com/Evolv
by evolveyourmind 5y ago
Here’s an implementation of lambda calculus (which is TC) at type level in TypeScript: https://github.com/EvolveYourMind/ts-lambda-calc https://github.com/EvolveYourMind/ts-lambda-calc
And here a type-level RegExp matcher: https://github.com/EvolveYourMind/ts-regexp https://github.com/EvolveYourMind/ts-regexp
- phpnode 5y agoAnother example, SQL-database-in-the-typescript-typesystem here https://github.com/codemix/ts-sql https://github.com/codemix/ts-sql This would have been much easier if I'd had ts-regexp at the time :)
- evolveyourmind 5y agoI was actually inspired by your ts-sql project! Amazing work