キューを使用して関数を分離する/直接呼び出しを避ける？

関数型プログラミングの初心者向けの質問の種類：

私はリッチヒッキーの講演の筆記録をいくつか読んでいますが、彼の有名な講演のいくつかでは、関数を相互に呼び出す代わりにキューを使用することをお勧めしています。（例：デザイン、構成、パフォーマンス、シンプルで簡単）

私はこれを多くの点で完全に理解していません：

1. 彼はデータをキューに入れ、各機能にそれを使用させることについて話しているのですか？したがって、関数Aが関数Bを呼び出して独自の計算を実行する代わりに、関数Bが出力をキューにスラップし、関数Aがそれを取得するようにしますか？または、代わりに、関数をキューに置き、その後それらをデータに順次適用することについて話しているのです（確かにそうではありません。大規模な変更が含まれるためです。そして、マルチアリティ関数のキューの乗算や、ツリーのようなものですか？ ）

2. どうすれば物事が簡単になりますか？私の直感は、キューが一種の状態になるため、この戦略はより複雑になると思います。そして、「他の関数がスキューしてデータをキューの上に置くとどうなるか」を心配する必要があります。

SOの実装に関する質問への1つの答えは、アイデアがさまざまなキューの束を作成していることを示唆しています。したがって、各関数はその出力を独自のキュー（??）に入れます。しかし、それも私を混乱させます。なぜなら、関数を一度実行している場合、その出力を取得し、その名前を（var、atom、big inハッシュテーブルなど）。対照的に、関数が複数回実行されていて、その出力をキューに貼り付けている場合は、再び自分に状態を課しているため、すべてが呼び出される順序を心配する必要があり、ダウンストリーム関数は純粋ではなくなります。等

明らかに私はここでポイントを理解していません。誰かが少し説明できますか？

これは、一般的な推奨事項というよりは、設計演習です。通常、すべての直接関数呼び出しの間にキューを配置することはありません。それはばかげているでしょう。ただし、直接関数呼び出しの間にキューが挿入されるような関数を設計しない場合、再利用可能で構成可能なコードを記述したと正当に主張することはできません。それがリッチ・ヒッキーの主張です。

これは、たとえばApache Sparkが成功した主な理由です。ローカルコレクションで直接関数呼び出しを行っているように見えるコードを記述します。フレームワークは、そのコードをクラスターノード間のキュー上のメッセージの受け渡しに変換します。リッチヒッキーの支持者のような、シンプルで構成可能で再利用可能なコーディングスタイルは、それを可能にします。

注意すべき点の1つは、関数型プログラミングを使用すると、メディエーターオブジェクトを介して間接的に関数を相互に接続し、引数を調達して関数にフィードし、結果を必要とする受信者に結果を柔軟にルーティングできることです。したがって、Haskellに、次の例のような単純な直接呼び出しコードがあるとします。

myThing :: A -> B -> C
myThing a b = f a (g a b)

まあ、HaskellのApplicativeクラスとその<$>and <*>演算子を使用して、そのコードを次のように機械的に書き換えることができます。

myThing :: Applicative f => f A -> f B -> f C
myThing a b = f <$> a <*> (g <$> a <*> b)

...今でmyThingは、直接fand を呼び出すのでgはなく、タイプのメディエータを介してそれらを接続していfます。したがって、たとえば、キューイングシステムへのインターフェイスを提供するライブラリによって提供されるタイプfが考えStreamられます。その場合、次のタイプになります。

myThing :: Stream A -> Stream B -> Stream C
myThing a b = f <$> a <*> (g <$> a <*> b)

このようなシステムは存在します。実際、Java 8ストリームをこのパラダイムのバージョンとして見ることができます。次のようなコードを取得します。

List<Integer> transactionsIds = 
    transactions.parallelStream()
                .filter(t -> t.getType() == Transaction.GROCERY)
                .sorted(comparing(Transaction::getValue).reversed())
                .map(Transaction::getId)
                .collect(toList());

ここでは、次の関数を使用しています。

• t -> t.getType() == Transaction.GROCERY
• comparing(Transaction::getValue).reversed()
• Transaction::getId
• toList()

...そして、それらを互いに直接呼び出す代わりに、Streamシステムを使用してそれらの間を仲介します。このコード例は、Transaction::getId関数を直接呼び出すのではなくStream、以前に残ったトランザクションで関数を呼び出していfilterます。は、Stream関数を間接的に結合し、それらの間で値をルーティングする非常に最小限のキューと考えることができます。