shiba_yu36 https://blog.hatena.ne.jp/shiba_yu36/ $shibayu36->blog; https://blog.shibayu36.org/ tech 静的型チェックがあったらテストはあまり書かなくて良いのか - $shibayu36->blog; で静的型チェックがあったとしても、テストをあまり書かなくて良いわけではないという話を書いた。するとブコメでいろいろ意見をもらえた。これらの意見から、関数の仕様を正しく実装していることをどう保証するのかについてもう少し深く考えてみようと思い、その考えがまとまってきたので、ブログに書いておく。 一応前提として、今回の話は自分の経験とこれまでの本を読んだ知識を元に自分で考えたものであり、何かの理論に則って話しているわけではない。この部分が違うなどあれば突っ込みを受けたい。 今回考える仕様 このようなこと… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.shibayu36.org%2Fentry%2F2016%2F10%2F18%2F160000" title="関数の仕様を正しく実装していることをどう保証するのか - $shibayu36-&gt;blog;" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/41A2yC7UpOL.jpg Hatena Blog https://hatena.blog 2016-10-18 16:00:00 rich https://blog.shibayu36.org/entry/2016/10/18/160000 1.0 100%