「関数型Ruby」という病(6) - 関数合成と文脈、Proc#liftとProc#>=、そしてモナ - ( ꒪⌓꒪) ゆるよろ日記

前回から一年以上が経過しているけど、最近lambda_driver.gemに機能を追加したので、そのことについて書こうと思う。 Rubyで、モナ……っぽい関数合成を実装した話だ。 Rubyで関数合成とかしたいので lambda_driver.gem というのを作った - ( ꒪⌓꒪) ゆるよろ日記 関数合成 関数合成については以前に書いたので、こちらを見て欲しい。 「関数型Ruby」という病(2) - 関数合成 Proc#compose - ( ꒪⌓꒪) ゆるよろ日記 おさらいをしておくと、関数合成とは、 関数gと関数fから、g(f(x))という関数hを新たに作り出すことだ。 (g ∘ f)(x) = g(f(x)) 関数gと関数fの合成関数g ∘ fに引数xを渡した結果は、関数gにf(x)の結果を渡したものと等しい。つまり、このような操作である。 f = lambda{|x| x + 1

[Haaaa_N]

定期的にrubyで関数合成がやりたくなってググる,というかどんな言語でも関数合成がやりたくなる

[anconium]

rubyのlambdaで関数(lambda)を引数にとる関数（引数の型がない分、例外処理が大変かもよ）

[pochi-mk]

モナ…

[akachochin]

自分自身まだ「モナ・・・」を「ものにできていない」ので大層な口を叩けないのだが、これはわかりやすい。最近読み始めた「Learn You a Haskell for Great Good!」とSoftware DesignのHaskell記事読むとイメージできてきそう。

[rydot]

“モナ……”

[sasashin]

q「あれ、それってモナ……。おっと誰か来たようだ。」「よくわからないと評判のアレも実はこういう配管をやるためのデザインパターンの一種である、と捉えると必要以上に恐怖を覚えずとも済む。」

[keyesberry]

なんかRackに見えてきた

[Hash]

まさかの続編 // これは面白い

[joker1007]

lambda_driver超カッコイイんだけど、誰も読めなくなりそうで怖くて使えないw

[koyancya]

"モナ…"

[yohshiy]

Ruby でモナドっぽい関数合成。なんでモナ.. と止めているのかはよくわからないけど。

[kencharos]

モナドは文脈とか言ってるのが何となくわかったような気がする

[masaru_b_cl]

モナ……の一側面である関数合成について、図解も加えて説明している

[moriyoshi]

関数型諸氏がどう思うかわからないけど、良記事かと。