> invariants are amazing They are, as are pre- and post-conditions; they're not, however, a breakthrough in language design by any means. https://en.wikipedia

> invariants are amazing They are, as are pre- and post-conditions; they're not, however, a breakthrough in language design by any means. https://en.wikipedia.org/wiki/Eiffel_(programming_language) https://en.wikipedia.org/wiki/Eiffel_(programming_language)