Hacker News new | ask | show | jobs
by mejutoco 20 days ago
> for the most advanced type system known to mankind

Honest question, what do you mean by this?
2 comments
culi 20 days ago
It means they really like TypeScript and they hope to influence some juniors into investing themselves into it
link
dimitropoulos 20 days ago
I answered here https://news.ycombinator.com/item?id=48838629
link
mejutoco 20 days ago
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
link
dimitropoulos 19 days ago
nope! 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?
link