desi-ivanov/ts-lambda-calc
View on GitHub ↗ ★ 18 TypeScript
Type-Level Lambda Calculus interpreter with TypeScript
6 mentions on Hacker News by 1 person: 2 stories, 4 comments · first 2021-12-15 · latest 2025-02-26
20082026
-
https://github.com/desi-ivanov/ts-lambda-calc
comment by evolveyourmind · 2025-02-26 · in TypeScript types can run DOOM [video] -
You can also easily implement meta-languages. Eg. lambda calculus: https://github.com/desi-ivanov/ts-lambda-calc
comment by evolveyourmind · 2023-09-08 · in Show HN: Conway's Game of Life in TypeScript's type system -
…matching through types: https://github.com/desi-ivanov/ts-regexp - Lambda calculus through types: https://github.com/desi-ivanov/ts-lambda-calc - Brainfuck through types: https://github.com/susisu/typefuck
comment by evolveyourmind · 2022-06-27 · in Extreme explorations of TypeScript's type system -
Here’s an implementation of lambda calculus (which is TC) at type level in TypeScript: https://github.com/EvolveYourMind/ts-lambda-calc And here a type-level RegExp matcher: https://github.com/EvolveYourMind/ts-regexp
comment by evolveyourmind · 2022-02-02 · in An introduction to type programming in TypeScript -
▲ 10
Show HN: Type-level Lambda Calculus interpreter in TypeScriptstory by evolveyourmind · 2021-12-17 · 1 comment
-
▲ 2
Show HN: Lambda Calculus evaluation with type-annotations in TypeScriptstory by evolveyourmind · 2021-12-15 · 0 comments