"Exceptions will fade away in modern languages"

[Ola Fosheim Grostad]

On Wednesday, 25 November 2020 at 23:23:17 UTC, Araq wrote:
> On Wednesday, 25 November 2020 at 17:15:14 UTC, Meta wrote:
>> I think Nim actually does have exceptions.
>
> Correct and the one of the "deterministic" kind (check after 
> function calls that can raise). It doesn't require 
> "inter-procedural dataflow anlysis" either but hey, what do I 
> know, have fun in your nonscientific bubble.

@live needs context sensitive analysis to get better precision as 
it tries to match up malloc with free if my understanding is 
correct. So it needs to know what exceptions can occur at each 
function call.

You could also extend @live and make it more useful with global 
flow typing of allocation source (gc vs malloc). For that you 
need inter procedural analysis.