clipka wrote:
> 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.

Yes, and Erlang does this too (invented the idea of hooking it into the 
language, eve). My point is that it isn't a mainstream kind of thing. 
There's all kinds of great research out there.  It just doesn't seem like 
any of it hit mainstream language design.

-- 
   Darren New, San Diego CA, USA (PST)
   I ordered stamps from Zazzle that read "Place Stamp Here".

Post a reply to this message