News for hackers. Stuff that matters.

A comment on Node.js adds experimental support for TypeScript. Parent comment

Re:Node.js adds experimental support for TypeScript by magnio on Thursday July 25, 2024 @03:03AM (#41065581)
I don't use them directly much, but template literal generic and contidiontal types is probably the closest a mainstream language has inched towards dependent types.

Some examples of TypeScript power:

- SQL database in TypeScript types: https://github.com/codemix/ts-sql

- Statically typed raw SQL queries: https://github.com/andywer/squid?tab=readme-ov-file#tag-func...

- (Someone fill in your TS hackery for me)

[ Parent | on HN ]
Re:Node.js adds experimental support for TypeScript by Vaguely2178 on Thursday July 25, 2024 @03:17AM (#41065686)
There are various programming language interpreters that run entirely in the type system:

- BF: https://github.com/susisu/typefuck

- Assembly: https://github.com/judehunter/ts-asm

[ Parent | on HN ]