> he talks about typed exceptions, ie where static type analysis remains > applicable
In the quoted paragraph he talks about how table based exceptions win performance-wise. Now your argument is that this is only true because Midori has precise exception typings but it's not clear that this information is required and used for this 4% performance increase. And there is no reason to assume it's required; table based exceptions are simply faster than Option/Either. This is esp true because Option/Either are not a complete solution anyway, both Go and Rust have panics that are required to do precise stack unwindings and where destructors/defer statements have to be run. And both Go and Rust do not track "calls panic" in their type systems.
