On 31 May 2012 19:01, Bill Frantz <[email protected]> wrote: > 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.
It can already be enforced -- as a callee, do or don't use 'this'; as a caller, do or don't provide a receiver. What an isBound predicate brings to the table is the ability to second-guess the contract, and encourage callers to ignore it in cases where it is not actively enforced by the callee. /Andreas _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
