On 12/18/2012 11:41 AM, H. S. Teoh wrote:
What is required for w.o.r.e. is a specification for the source code
that precludes undefined and implementation defined behavior.
[...]
What would you do with system-specific things like filesystem
manipulation, though? That has to be implementation-defined by
definition. And IME, any abstraction that's both (1) completely-defined
without any implementation differences and (2) covers every possible
platform that ever existed and will exist, is either totally useless
from being over-complex and over-engineered, or completely fails to
capture the complexity of real-world systems and the details required to
work with them efficiently.
Well, I was thinking of the language, not the runtime library, which is a
separate issue.
And no, I don't think D can be a systems language *and* eliminate all undefined
and implementation defined behavior.
