“やってみると分かるがこれに実装を与えるためには相当な定理証明力を要求される。もはや関数型プログラミングですらない、単なる定理証明である。”

goodstoriez のブックマーク 2018/12/25 14:33

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/367339854/comment/goodstoriez" data-user-id="goodstoriez" data-entry-url="https://b.hatena.ne.jp/entry/s/myuon.github.io/posts/how-far-can-static-analysis-go/" data-original-href="https://myuon.github.io/posts/how-far-can-static-analysis-go/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fmyuon.github.io%2Fposts%2Fhow-far-can-static-analysis-go%2F" data-user-icon="/users/goodstoriez/profile.png">静的解析の限界、現実世界との境界</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E4%B8%96%E7%95%8C">世界</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%A8%80%E8%AA%9E">言語</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%A7%A3%E6%9E%90">解析</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E9%9D%99%E7%9A%84%E8%A7%A3%E6%9E%90">静的解析</a>]</li></ul><br><p style="clear: left">“やってみると分かるがこれに実装を与えるためには相当な定理証明力を要求される。もはや関数型プログラミングですらない、単なる定理証明である。”</p><a class="datetime" href="https://b.hatena.ne.jp/goodstoriez/20181225#bookmark-367339854"><span class="datetime-body">2018/12/25 14:33</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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