Systems Languages: An Experience Report

Re:Systems Languages: An Experience Report by garmaine on Friday July 06, 2018 @05:29PM (#17475282)

But are all instances of category 2 actually category 1? That’s a strong claim.

[ Parent | on HN ]

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.

[ Parent | on HN ]

Re:Systems Languages: An Experience Report by garmaine on Friday July 06, 2018 @06:42PM (#17475678)

I think you can understand what the borrow checker is doing and still think it is being too stringent.

[ Parent | on HN ]