This looks just like goto-based error handling in C (e.g. [1]). But that is an invention of necessity, lacking better error handling mechanisms. Conceptually,

This looks just like goto-based error handling in C (e.g. [1]). But that is an invention of necessity, lacking better error handling mechanisms. Conceptually, the "two track system" doesn't make much sense. It models the error handling as a linear routine, with monotonic jumps from the happy path to the error path. But is error handling really linear in the general case? If it's not what is the use of modelling it as a track? And are the jumps really monotonic as illustrated? If they are not, all the elegance attributed to this model goes away. [1] https://www.xml.com/ldd/chapter/book/ch02.html#buierr https://www.xml.com/ldd/chapter/book/ch02.html#buierr