最近注目しているフレーズは、「ポイントフリー」スタイルという概念です...
そして私は発見したここ彼らは「議論する価値があるかもしれないもう一つの話題は、著者がポイントフリースタイルを嫌っていることだ」と述べています。
「ポイントフリー」スタイルとは何ですか? 誰か簡潔な説明をしてくれませんか? 「自動」カリー化と何か関係があるのでしょうか?
自分のレベルを知るために、私は独学で Scheme を勉強し、簡単な Scheme インタープリターを作成しました...「暗黙の」カリー化が何であるかは理解していますが、Haskell や ML についてはまったく知りません。
ベストアンサー1
見てくださいウィキペディアの記事定義を取得するには:
暗黙プログラミング (ポイントフリープログラミング) は、関数定義に引数に関する情報を含めず、変数の代わりにコンビネータと関数合成を使用するプログラミングパラダイムです。
Haskell の例:
従来型(引数を明示的に指定します):
sum (x:xs) = x + (sum xs)
sum [] = 0
ポイントフリー (sum
明示的な引数はありません - 0 から始まる単なる折り畳みです+
):
sum = foldr (+) 0
あるいはもっと簡単に言えばg(x) = f(x)
、 の代わりに と書くこともできますg = f
。
つまり、これはカリー化(または関数合成のような操作)と密接に関係しています。