- sum 関数を定義する - sum x = (x+1)x/2 を示す - sum の定義を末尾再帰に変える - 証明が壊れて、困るなぁ… 「変更されない仕様」に自信があれば、それを定理として証明しておいてあとはその定理を参照するようにすればちょっとましになる。 モジュールシステムの expose しないという選択肢がここで役に立つのではないだろうか
「変更されない仕様」に自信があれば、それを定理として証明しておいてあとはその定理を参照するようにすればちょっとましになる。
モジュールシステムの expose しないという選択肢がここで役に立つのではないだろうか