On 5/31/12 at 2:27, [email protected] (Andreas Rossberg) wrote:
A function is free to _document_ it as part of its
contract, though.
Contracts are much more useful if they are enforced by the
system, the language and runtime in this case.
Cheers - BIll
-----------------------------------------------------------------------
Bill Frantz |Security, like correctness, is| Periwinkle
(408)356-8506 |not an add-on feature. - Attr-| 16345
Englewood Ave
www.pwpconsult.com |ibuted to Andrew Tanenbaum | Los Gatos,
CA 95032
_______________________________________________
es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss
