← Back to context Comment by mejutoco 1 day ago > for the most advanced type system known to mankindHonest question, what do you mean by this? 4 comments mejutoco Reply culi 1 day ago It means they really like TypeScript and they hope to influence some juniors into investing themselves into it dimitropoulos 1 day ago I answered here https://news.ycombinator.com/item?id=48838629 mejutoco 1 day ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 15 hours 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?
culi 1 day ago It means they really like TypeScript and they hope to influence some juniors into investing themselves into it
dimitropoulos 1 day ago I answered here https://news.ycombinator.com/item?id=48838629 mejutoco 1 day ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 15 hours 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?
mejutoco 1 day ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 15 hours 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?
dimitropoulos 15 hours 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?
It means they really like TypeScript and they hope to influence some juniors into investing themselves into it
I answered here https://news.ycombinator.com/item?id=48838629
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
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?