Often, even functional languages have something similar, whether it's call/cc or something more cutting-edge like algebraic effects. All of these essentially au

Often, even functional languages have something similar, whether it's call/cc or something more cutting-edge like algebraic effects. All of these essentially augment the execution environment in various interesting ways, and are enhanced by other features of functional languages like immutability. (More pithily: try/catch is not inherently non-functional.)