On: Handles Are the Better Pointers (2018)

[jiggawatts]

I haven't seen the update, but to me that seems a bit silly. This is a pretty fundamental type manipulation, and ideally the compiler would have some understanding of it...