7.7 Recovering from errors エラーで終了していたけれど、それだと不便。 リカバリしましょ。 １）例外を受ける ２）ゴミを片付けた後、反復 という戦略でいきます さてこれまで try catchは main()にあったのだけれど、これではダメ calculateの中、すなわ…

随分遅れてcoqを少しやってみました。 それ何？ 定理証明プログラムという奴です。僕の苦手なOcamlベースです＞＜ 簡単なものならCoq内部だけで、複雑なら外部コマンドとして実行できます。 基本技 全ての技は . (ピリオド)で終わります。英語と一緒ですね。…