←back to thread

Type checking is a symptom, not a solution

(programmingsimplicity.substack.com)
67 points mpweiher | 2 comments | 05 Sep 25 05:56 UTC | HN request time: 0s | source
1. metalliqaz ◴[05 Sep 25 19:54 UTC] No.45142907[source]▶
That's the first time I've seen the Borrow Checker referred to as a "type system"
replies(1): >>45162148 #
2. codethief ◴[07 Sep 25 21:06 UTC] No.45162148[source]▶
That might be one of the few things in the article that's actually correct, though?

https://en.m.wikipedia.org/wiki/Substructural_type_system