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.

On Wednesday, 25 November 2020 at 17:15:14 UTC, Meta wrote:
> On Saturday, 21 November 2020 at 23:05:19 UTC, IGotD- wrote:
>> [...]
>
> This is well-trodden ground among D's competitors.
>
> Rust has no exceptions (only `panic`, which aborts the current thread), and instead opts to use algebraic data types along with some light language support. Swift does something very similar.
>
> Go allows an optional return slot for an Error value that you are not forced to check, as is typical for Go's approach of choosing the worst possible option, but at least it's a slight improvement on C. Get used to writing `if err != nil` every other line.
>
> I think Nim actually does have exceptions.

Go's panic/recover mechanism are exceptions by another name.