Haven't we realized yet that programs do not have a single flow of execution? each program has a few correct paths, and a few paths resulting from error. Our l

Haven't we realized yet that programs do not have a single flow of execution? each program has a few correct paths, and a few paths resulting from error. Our languages so far pretend there is one correct path, and that the error paths are almost non-existence, or a nuesance at best. In my opinion, what languages should do is the following, when an error happens: the program stops with an error report. There shouldn't be any errors caught ever. A faulty program should not be restarted; it should be fixed.