5 ms·
I answered here https://news.ycombinator.com/item?id=48838629 https://news.ycombinator.com/item?id=48838629
by dimitropoulos 2mo ago
I answered here https://news.ycombinator.com/item?id=48838629 https://news.ycombinator.com/item?id=48838629
- mejutoco 2mo agoAre you aware of languages like lean or idris? In that comment you mention doom in ts types.
- dimitropoulos 2mo 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?