Are you aware of languages like lean or idris? In that comment you mention doom ... | Hacker News

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

mejutoco 67 days ago | parent | context | favorite | on: TypeScript 7

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

dimitropoulos 66 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