2 ms·
> for the most advanced type system known to mankind Honest question, what do you mean by this?
by mejutoco 3mo ago
> for the most advanced type system known to mankind
Honest question, what do you mean by this?
- culi 3mo agoIt means they really like TypeScript and they hope to influence some juniors into investing themselves into it
- dimitropoulos 3mo agoI answered here https://news.ycombinator.com/item?id=48838629 https://news.ycombinator.com/item?id=48838629
- mejutoco 3mo agoAre you aware of languages like lean or idris? In that comment you mention doom in ts types.
- dimitropoulos 3mo agonope! never heard of them! (note: I'm the guy that did the Doom in TS types thing) what type-level fun do they bring to the table?