『世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる』

koroharo のブックマーク 2013/03/14 22:21

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/136166090/comment/koroharo" data-user-id="koroharo" data-entry-url="https://b.hatena.ne.jp/entry/blog.jmuk.org/2013/03/gui.html" data-original-href="http://blog.jmuk.org/2013/03/gui.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fblog.jmuk.org%2F2013%2F03%2Fgui.html" data-user-icon="/users/koroharo/profile.png">古くて新しいGUI座標系の型の話</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/programming">programming</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E5%9E%8B%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0">型システム</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E9%87%8D%E8%A6%81">重要</a>]</li></ul><br><p style="clear: left">『世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる』</p><a class="datetime" href="https://b.hatena.ne.jp/koroharo/20130314#bookmark-136166090"><span class="datetime-body">2013/03/14 22:21</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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