2020-05-25: ミリシタイベント最終日だった

やったこと

すっかり忘れていたがイベント最終日。
ぎりぎり2500位間に合う計算だったが意識を失なったので諦めた。
まあいいか‥‥。

2日間の配信でテンションを上げすぎたのが悪い。

crystal tool docの修正。
stright-shootaの言いたいことは分かるけど無理があると思う。
でもがんばって実装したのでpushしておいた。
というかイマイチだと思う理由を英語で説明する気力がない。

イマイチだと思う理由としては、

正確にProgramを組み立てるのはとても難しい(ほとんど不可能)。不完全な状態のProgramに対して期待通りに動作しているように見えることが、一体なんの保証になるのだろう？
specの可読性がものすごく下がる。とくに個々のspecの違いがすごく分かりづらくなる。

日本語にしたら書ける気がしてきたのでコメントした。

最終的にAryにrevertしろと言われたのでrevertして、ついでに不要なwants_docを削除した。
以上。普通にバグ修正なのでさっさと普通のレビューをしてほしい。