Re:Systems Languages: An Experience Report
by AnimalMuppet on Friday July 06, 2018 @05:14PM
(#17475179)
Of course, it's very easy to think you're in category 2 when you're really in category 1 but don't see how you're wrong...
[ Parent
| on HN ]
But are all instances of category 2 actually category 1? That’s a strong claim.
Re:Systems Languages: An Experience Report
by AnimalMuppet on Friday July 06, 2018 @06:20PM
(#17475554)
It is, and it's a claim that I didn't make. But even if it were true, I think people won't believe that it's true, because there will be instances where they won't understand the borrow checker's reasoning.