[Locke1689]

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?

[asveikau]

I believe the point you are missing: The article compares a null pointer deference and network failure.

One of those is routine.

The other is a serious logic error that strictly speaking a correct program cannot be said to do.

[Locke1689]

After re-reading I think I see that point, but I still don't understand the overall comment...

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.