Embed Notice

@jrose
I’m totally with you on this. Every form of static verification has •some• horizon past which it either can’t reach at all or becomes too onerous to be worth it, and how far out that horizon reaches is not as important as how ragged its boundary is. You want the domain of a static type system to be something you can reason about cleanly, something that innocent refactorings aren’t constantly wandering across, and static types without generics just ain’t that.