静的型宣言は実装との一致が担保されたドキュメントであり、テストであり、静的に検査可能な不変条件であり、「型設計」というレイヤでの設計

bleu-bleut のブックマーク 2022/07/11 14:29

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4674868607260914274/comment/bleu-bleut" data-user-id="bleu-bleut" data-entry-url="https://b.hatena.ne.jp/entry/s/jp.quora.com/%E5%9E%8B%E5%AE%A3%E8%A8%80%E3%82%92%E3%81%99%E3%82%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%E3%81%AE%E3%83%A1%E3%83%AA%E3%83%83%E3%83%88%E3%81%AF%E3%81%AA%E3%82%93" data-original-href="https://jp.quora.com/%E5%9E%8B%E5%AE%A3%E8%A8%80%E3%82%92%E3%81%99%E3%82%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%E3%81%AE%E3%83%A1%E3%83%AA%E3%83%83%E3%83%88%E3%81%AF%E3%81%AA%E3%82%93" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fjp.quora.com%2F%25E5%259E%258B%25E5%25AE%25A3%25E8%25A8%2580%25E3%2582%2592%25E3%2581%2599%25E3%2582%258B%25E3%2583%2597%25E3%2583%25AD%25E3%2582%25B0%25E3%2583%25A9%25E3%2583%259F%25E3%2583%25B3%25E3%2582%25B0%25E8%25A8%2580%25E8%25AA%259E%25E3%2581%25AE%25E3%2583%25A1%25E3%2583%25AA%25E3%2583%2583%25E3%2583%2588%25E3%2581%25AF%25E3%2581%25AA%25E3%2582%2593" data-user-icon="/users/bleu-bleut/profile.png">型宣言をするプログラミング言語のメリットはなんですか？ - Quora</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/Article">Article</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%22programming%20type%22">programming type</a>]</li></ul><br><p style="clear: left">静的型宣言は実装との一致が担保されたドキュメントであり、テストであり、静的に検査可能な不変条件であり、「型設計」というレイヤでの設計</p><a class="datetime" href="https://b.hatena.ne.jp/bleu-bleut/20220711#bookmark-4674868607260914274"><span class="datetime-body">2022/07/11 14:29</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！