On Thursday, 5 February 2015 at 09:33:12 UTC, Paulo Pinto wrote: > So the caller can break the contract without any consideration > for what values the input arguments are valid?! > > There is a reason why the industry at large has adopted the > Eiffel way. > Yes, it is called cargo cult.