I'm not really clear what this comment implies?
What system do you work with that doesn't have null pointers but also cares about eliminating as many fine-grained locks as possible?
What system do you work with that doesn't have null pointers but also cares about eliminating as many fine-grained locks as possible?
One of those is routine.
The other is a serious logic error that strictly speaking a correct program cannot be said to do.
Is the author saying his standard language is C++? Everything I know about Midori said that it was competitive with C++ on performance in almost every way. Regarding error handling in particular, Midori used a combination of returning values and safe exceptions, both of which seem similar to C++.
It also explicitly doesn't have the aforementioned conflation of bugs and runtime errors.