"Exceptions will fade away in modern languages"

[Ola Fosheim Grøstad]

On Tuesday, 5 January 2021 at 19:17:26 UTC, Marcone wrote:
> On Sunday, 22 November 2020 at 00:09:36 UTC, Ola Fosheim 
> Grostad wrote:
>> Exceptions can be modelled with conditionals in static 
>> analysis. They should work out ok with dataflow analysis.
>
> Many conditions to check before jumping, and then you still run 
> the risk of some denial. Often everything looks good and ready 
> to work, and even then it can give some unknown error. Could 
> the entire thread stop working due to a minor error that could 
> be tried again?

Hm? There is no jumping. You can use an algorithm that rewrite 
the code with conditionals instead for analysis. So a jump 
becomes code that have been excluded with an if-statement for 
instance.