型付ラムダ式だとプリミティブにYコンビネータが書けない件について。

nanakoso のブックマーク 2006/04/20 18:08

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/1783107/comment/nanakoso" data-user-id="nanakoso" data-entry-url="https://b.hatena.ne.jp/entry/s/dankogai.livedoor.blog/archives/50463152.html" data-original-href="https://dankogai.livedoor.blog/archives/50463152.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fdankogai.livedoor.blog%2Farchives%2F50463152.html" data-user-icon="/users/nanakoso/profile.png">Y combinator is forbidden in Haskell!? : 404 Blog Not Found</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E6%9B%B8%E3%81%8D%E8%BE%BC%E3%82%93%E3%81%A0">書き込んだ</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/Haskell">Haskell</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E">関数型言語</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0">プログラミング</a>]</li></ul><br><p style="clear: left">型付ラムダ式だとプリミティブにYコンビネータが書けない件について。</p><a class="datetime" href="https://b.hatena.ne.jp/nanakoso/20060420#bookmark-1783107"><span class="datetime-body">2006/04/20 18:08</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Y combinator is forbidden in Haskell!? : 404 Blog Not Found

dankogai.livedoor.blog2006/04/20

2006年04月20日03:51 カテゴリLightweight Languages Y combinator is forbidden in Haskell!? Haskell流に自分の足を撃つ方法が、Y-combinatorの定義だったなんて! Haskellでは、実にElegantにLambda Calculusを...

12 人がブックマーク・4 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Y combinator is forbidden in Haskell!? : 404 Blog Not Found

はてなブックマーク

公式Twitter

はてなのサービス