For those not familiar with this kind of computing challenges, I must link this wonderful video about TypeScript types running... DOOM. https://www.youtube.com/watch?v=0mCsluv5FXA
If folks are interested in this sort of thing, but want to play around with higher order building blocks, http://hkt.code.lol may be worth checking out.
In addition to type-level analogues of your normal Lodash-esque functions, it includes a suite of type-level parser combinator utilities and is built on higher-kinded type abstractions.
How does it compare to TypeBox?
I thought we have C++ for meta-meta-meta-meta programming...
Can you run your whole payroll app at compile time via TypeScript types too?
Has Doom been implemented yet in TypeScript types?
FYI, TypeScript's type system is turing-complete.
Typescript looks more and more like a cult
(removed)
<Sorry, wrong thread>
This is actually WHY i think typescript is going downhill. I feel the sweetspot was around 2.x (iirc) when things like this was not possible.
Everytime i hear Ocaml has a complex type system i refer them to Typescript.
Sometimes at work I can't figure out some TS type and start thinking it's impossible. Then I remember that repos like this exist, and if some guy really managed to parse Typescript types in Typescript, that my problem is peanuts compared to that.
That usually motivates me to solve my problem.