←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: 0.206s | source
1. _andrei_ ◴[05 Sep 25 19:08 UTC] No.45142395[source]▶
> we need to recognize that the felt necessity of sophisticated type systems is a signal that we’re using the wrong architectural foundations

I'd be forever ashamed if I wrote that.