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 t

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 https://github.com/codemix/ts-sql - Statically typed raw SQL queries: https://github.com/andywer/squid?tab=readme-ov-file#tag-function https://github.com/andywer/squid?tab=readme-ov-file#tag-func... - (Someone fill in your TS hackery for me)