いろいろ考えたのですが、式(Expression)の中に操作(operation)の適応(apply)があるのがマズイかなぁと思います。関数(function)の適応ならOKなんですけれど。 でも、操作の適応を別の文法にすると、すごく使いづらくなるでしょう。 例えば、call foo(x); み…

事後条件のチェックを行うかどうかによって結果が変わる関数を思いつきました。 class TestBreaker instance variables private x: int := 0; operations public 破壊的操作: () ==> bool 破壊的操作() == (x := x+1; return true); functions public Test: …