On 06/19/2014 06:06 AM, "Ola Fosheim Grøstad"
<ola.fosheim.grostad+dl...@gmail.com>" wrote:
...
In the real world you work with typical programs that run on finite
resources guided by heuristics. There is no proof that you cannot have
@safe.
I assume you mean @safe <===> memory safety.
So leave that line of arguing. It is fundamentally flawed.
No, your line of reasoning is flawed. The amount of resources is not a
constant. You must prove that memory safety holds for _each possible_
amount of resources at which point you haven't won anything by talking
about resource usage, or else you need to set an explicit resource bound
_at the language level_ and enforce it.
