I answered here https://news.ycombinator.com/item?id=48838629 | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

dimitropoulos 37 days ago | parent | context | favorite | on: TypeScript 7

I answered here https://news.ycombinator.com/item?id=48838629

mejutoco 37 days ago [–]

Are you aware of languages like lean or idris? In that comment you mention doom in ts types.

dimitropoulos 36 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?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact