"Exceptions will fade away in modern languages"
Ola Fosheim Grostad
ola.fosheim.grostad at gmail.com
Thu Nov 26 00:09:31 UTC 2020
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
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.
More information about the Digitalmars-d