3 ms·
Calling out fallacies while commiting more is, well, funny. > Encoding invariants in a type system is far cheaper than writing tests. You may need to back tha
by comma_at 7y ago
Calling out fallacies while commiting more is, well, funny.
> Encoding invariants in a type system is far cheaper than writing tests.
You may need to back that claim up with something or you're going to be anecdotal as well.
> Rejecting an entire field of study (like types!) is not only anti-intellectual, but also does nothing to move the state of our industry forward.
Who says type theory is needed to move our industry forward? Even if you think that why would every language need to use it? This is slippery slope.
> I’d say that’s especially harmful now in a time where software errors can bring down a couple of Boeing 787 Max airplanes and kill hundreds of people.
Was the crash the result of a bug that a type system would have solved? Otherwise this is quite the straw man too.