Hacker News
- Emulating the Lambda Calculus in TypeScript's Type System (2021) https://ayazhafiz.com/articles/21/typescript-type-system-lambda-calculus 2 comments
Linked pages
- TypeScripts Type System is Turing Complete · Issue #14833 · microsoft/TypeScript · GitHub https://github.com/microsoft/typescript/issues/14833 359 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
- TypeScript: Documentation - Template Literal Types https://www.typescriptlang.org/docs/handbook/2/template-literal-types.html#string-unions-in-types 1 comment
- De Bruijn index - Wikipedia https://en.wikipedia.org/wiki/De_Bruijn_index 0 comments
Would you like to stay up to date with Web Development? Checkout Web Development
Weekly.
Related searches:
Search whole site: site:ayazhafiz.com
Search title: Emulating the Lambda Calculus in TypeScript's Type System
See how to search.