tarao https://blog.hatena.ne.jp/tarao/ 貳佰伍拾陸夜日記 https://tarao.hatenablog.com/ article lambda lang scala javascript よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じなんだよなぁと思っていました. そして型ファーストが重要な理由をつきつめていくと, Curry-Howard同型対応があるからだなぁという結論に至ったので, それを言語化しました. 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftarao.hatenablog.com%2Fentry%2Ftype-first" title="なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/t/tarao/20200210/20200210222444.png Hatena Blog https://hatena.blog 2020-02-18 10:23:37 rich https://tarao.hatenablog.com/entry/type-first 1.0 100%