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: 0.205s | source

1. abathologist ◴[05 Sep 25 20:03 UTC] No.45142979[source]▶

"Actually, proving things is bad. We should arrange the world so that everything is self evident."