r-west https://blog.hatena.ne.jp/r-west/ よくわかりません https://r-west.hatenablog.com/ Haskell 先日の"ArrowによるHaskellプログラミングの基礎。…パイプ感覚で順次/分岐/繰返し - よくわかりません"で、「あとで書く」にしていた「名前を使わない再帰」の方法を試してみたけど、結果は駄目だった。 ちゃんと理解してる人や素養のある人には自明なのかもしれないけど、アホな自分は元論文の"Programming with Arrows"を読んで、「Arrow*1一般での適用があるなら、それでＹコンビネータ書けばArrowレベルで再帰できるじゃんｗ」と思って y f = f (y f) のまねして、関数適用をappに置き換えて ya::forall a b aa.(ArrowApply a… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fr-west.hatenablog.com%2Fentry%2F20070722%2F1185124141" title="(失敗)ArrowでYコンビネータを…作れませんでした ＯＴＬ - よくわかりません" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-07-22 02:09:01 rich https://r-west.hatenablog.com/entry/20070722/1185124141 1.0 100%