Darren New schrieb:
> 
> I think you'll see things like the ability to say "log this message 
> whenever this method gets called" or "that method can never get called 
> with a null pointer", instead of having them inline in the code.

Such languages already exist. For instance, "Nice" allows you to 
formalize contract constraints (pre- and postconditions), and have them 
automatically checked at runtime in a debug version.

Post a reply to this message