News for hackers. Stuff that matters.

A comment on Subtype Inference by Example. Parent comment

Re:Subtype Inference by Example by afiori on Saturday June 14, 2025 @04:01PM (#44278467)
It would be nice to have them auto-generated in the source, like a autofixable lint rule where the compiler add the annotations to your source code.
[ Parent | on HN ]

There are no comments on this comment yet.