News for hackers. Stuff that matters.

A comment on Names are not type safety (2020). Parent comment

Re:Names are not type safety (2020) by andyferris on Sunday August 03, 2025 @10:59PM (#44781748)
If I understand you correctly - in popular structurally typed languages, sure.

It seems ok in upcoming languages with polymorphic sum types (eg Roc “tags”) though?

[ Parent | on HN ]

There are no comments on this comment yet.