Obviously throw is a keyword and can get special attention that a mere library function can not but it would be useful to be able to let Java know that, like throw, exit() diverges.One of the best ways to tell a compiler how a function behaves is by using types and, in type theory, there is a type that expresses just what we need.