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 21 hours ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 14 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 21 hours ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 14 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 21 hours ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 14 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 14 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?