I understand that, which is why I said 'Which TypeScript is [unsound], by choice... | Hacker News

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

		yawaramin on Feb 1, 2020 \| parent \| context \| favorite \| on: TypeScript’s quirks: How inconsistencies make the ... I understand that, which is why I said 'Which TypeScript is [unsound], by choice'. Disagree that full type safety would require a lot of runtime checks. That's not the experience I've had in ReasonML.

afiori on Feb 1, 2020 [–]

ReasonML is exactly the kind of backwards incompatible change that would be necessary. You cannot mix reasonML and JavaScript freely together.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact