News for hackers. Stuff that matters.

A comment on From TypeScript to ReScript. Parent comment

Re:From TypeScript to ReScript by Aldo_MX on Wednesday January 12, 2022 @08:32AM (#29906081)
Comments have the potential to get forgotten and become incorrect. Type annotations not.
[ Parent | on HN ]
Re:From TypeScript to ReScript by cxr on Wednesday January 12, 2022 @12:45PM (#29910212)
Corollary: we should invest in systems that allow us to mechanically verify correctness of comments as readily as type checkers do with type specifiers.
[ Parent | on HN ]