Re: 7.0 wishlist?

Andreas Leitgeb wrote:
Joshua Cranmer <Pidgeot18@xxxxxxxxxxxxxxx> wrote:
The idea that changing the height does not change the width is what is violated.
And that is, what I consider an #1 example of a goofy contract.

Well, first off, the entire example is contrived. But in any case, most people would agree, on only seeing the Rectangle class, that assertContract should always succeed while Square would break that contract. That the height may be able to affect the width is non-intuitive.

The point still remains, though, that structures from mathematics are not directly transferable to code.

--
Beware of bugs in the above code; I only proved it correct, not tried it. -- Donald E. Knuth
.