> There is no mechanism for you to mark a function as potentially crashing your teammate’s code or for specifying how to process an exception.

Maybe I'm misinterpreting this, but is the author actually advocating for Java-style checked exceptions? I can't even remember the last time I heard somebody say something positive about them (other than just now, possibly).