Rather than looking at what the (abstract) machine does - throws are nonlocal control transfer - result types are adding a tag to the data or error Think abo

Rather than looking at what the (abstract) machine does - throws are nonlocal control transfer - result types are adding a tag to the data or error Think about whether the two can express the same things, and whether one can be translated to another without losing information.