safeD formal semantics

Walter Bright newshound2 at digitalmars.com
Sun Aug 22 12:20:15 PDT 2010


BCS wrote:
> How much of safeD is formalizable? Is there anything in it that is 
> hoplessly impractical to create formal semantics for?


I don't know, as I don't know how to write 'formal' semantics in english. Some 
help from someone who does would be appreciated.


More information about the Digitalmars-d mailing list