News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science. Parent comment

Re:Code is Engineering; Types are Science by nicoburns on Monday April 06, 2020 @06:32AM (#22792401)
Types are just one kind of static analysis. So it makes sense that you'd want the superset rather than the subset.
[ Parent | on HN ]
Re:Code is Engineering; Types are Science by naasking on Monday April 06, 2020 @09:19AM (#22793446)
It's not so clear cut. Types are compositional, by definition.

Static analysis needn't be compositional, and so a small change could cause dramatic and unpredictable long-range effects elsewhere in your code. Figuring out what changed or what went wrong can be a nightmare.

[ Parent | on HN ]