3 ms·

There's a lot of great things our industry doesn't use: contracts, proper fuzz testing, cleanroom, formal specification, constraint solvers, _checklists_. We mi

by hwayne 9y ago

There's a lot of great things our industry doesn't use: contracts, proper fuzz testing, cleanroom, formal specification, constraint solvers, _checklists_. We might (not necessarily, but _might_) be in a place where types are diminishing returns with respect to other low-hanging fruit.

willtim 9y ago
Yes it's true that retrofitting better type systems into existing languages may not be low-hanging fruit. But developers have shown a willingness to adopt new languages when they see clear benefits.
- hwayne 9y ago
  > Yes it's true that retrofitting better type systems into existing languages may not be low-hanging fruit. Disagree here, actually! Javascript (Typescript) and Python (mypy) are both seeing pretty big benefits from adding gradual typing.
  - willtim 9y ago
    Glad to hear it!
hellofunk 9y ago
When you speak of contracts, are you referring to run-time contracts i.e. Racket?