2 ms·
Probably because using a static type system gives you those benefits "for free," whereas unit tests are things you need to write and maintain. ("For free" in s
by tshaddox 3y ago
Probably because using a static type system gives you those benefits "for free," whereas unit tests are things you need to write and maintain.
("For free" in scare quotes because of course there are always tradeoffs between different programming languages.)
- pfdietz 3y agoThe counterargument is that for sufficiently reliable software extensive testing is needed anyway, and if you do that you find the type errors "for free". If the testing is insufficient, as in practice it often surely is, then static typing would seem to be more valuable.