←back to thread

Type checking is a symptom, not a solution

(programmingsimplicity.substack.com)
67 points mpweiher | 1 comments | 05 Sep 25 05:56 UTC | HN request time: 0s | source
Show context
exac ◴[05 Sep 25 18:27 UTC] No.45141919[source]▶
> The standard answer is scale. “Small programs don’t need types,” the reasoning goes, “but large programs become unmaintainable without them.”

This is not accepted wisdom at all.

replies(2): >>45142289 #>>45142974 #
1. Disposal8433 ◴[05 Sep 25 18:58 UTC] No.45142289[source]▶
He's even more wrong when the Python typing system allows us to catch bugs in small scripts.