「関数型プログラミング」の「ポイントフリー」スタイルとは何ですか？

私が最近気付いたフレーズは、「ポイントフリー」スタイルのコンセプトです...

最初に、この質問と、これもありました。

その後、私はここで彼らが「議論する価値のあるもう1つのトピックは、ポイントフリースタイルに対する作者の嫌いなこと」に言及していることを発見しました。

「ポイントフリー」スタイルとは？誰かが簡潔に説明できますか？「自動」カレーと関係がありますか？

私のレベルのアイデアを得るために-私は自分でSchemeを教えており、簡単なSchemeインタープリターを書きました...私は「暗黙の」カレーが何であるかを理解していますが、HaskellやMLを知りません。

ウィキペディアの記事を見て、定義を取得してください。

暗黙的プログラミング（ポイントフリープログラミング）は、変数の代わりにコンビネータと関数構成[...]を使用して、関数定義に引数に関する情報が含まれないプログラミングパラダイムです。

Haskellの例：

従来型（引数を明示的に指定します）：

sum (x:xs) = x + (sum xs)
sum [] = 0

ポイントフリー（sum明示的な引数はありません-これ+は0から始まるフォールドです）：

 sum = foldr (+) 0

またはさらに単純化：の代わりにg(x) = f(x)、単にを書くこともできますg = f。

だからはい：それはカレー（または関数構成のような操作）と密接に関連しています。

ポイントフリースタイルとは、定義されている関数の引数が明示的に記述されておらず、関数が関数構成によって定義されていることを意味します。

次のような2つの関数がある場合

square :: a -> a
square x = x*x

inc :: a -> a
inc x = x+1

これらの2つの関数をを計算する関数に組み合わせる場合はx*x+1、次のように「ポイントフル」に定義できます。

f :: a -> a
f x = inc (square x)

ポイントフリーの代替案は、議論について話さないことxです：

f :: a -> a
f = inc . square

JavaScriptサンプル：

//not pointfree cause we receive args
var initials = function(name) {
  return name.split(' ').map(compose(toUpperCase, head)).join('. ');
};

const compose = (...fns) => (...args) => fns.reduceRight((res, fn) => [fn.call(null, ...res)], args)[0];
const join = m => m.join();

//pointfree
var initials = compose(join('. '), map(compose(toUpperCase, head)), split(' '));

initials("hunter stockton thompson");
// 'H. S. T'

参照

ポイントフリースタイルとは、コードが存在し、使用されている場合でも、コードが引数を明示的に言及しないことを意味します。

これはHaskellで機能します。

例えば：

myTake = take

は引数を1つ取る関数を返すため、必要な場合を除いて、引数を明示的に型指定する必要はありません。

以下は、他のライブラリなしのTypeScriptの例です。

interface Transaction {
  amount: number;
}

class Test {
  public getPositiveNumbers(transactions: Transaction[]) {
    return transactions.filter(this.isPositive);

    //return transactions.filter((transaction: {amount: number} => transaction.amount > 0));
  }

  public getBigNumbers(transactions: Transaction[]) {
    // point-free
    return transactions.filter(this.moreThan(10));

    // not point-free
    // return transactions.filter((transaction: any) => transaction.amount > 10);
  }

  private isPositive(transaction: Transaction) {
    return transactions.amount > 0;
  }

  private moreThan(amount: number) {
    return (transaction: Transaction) => {
      return transactions.amount > amount;
    }
  }
}

ポイントフリースタイルの方が「流暢」で読みやすいことがわかります。