MapやReduceのような概念はすべてのFunctional Programming Languagesに適用されますか？

Question

私は、関数型プログラミングの世界を掘り下げ始めました。

継承や多相などの多くのOOP（オブジェクト指向プログラミング）の概念は、C＃、Java、VB.NETなどのほとんどの現代OO言語に適用されます。

しかし、Map、Reduce、Tuples、Setsなどの概念はどのようにすべてのFP（Functional Programming）言語に適用されますか？

私はF＃で始まったばかりです。しかし、前述の概念はHaskell、Nemerle、Lispなどの他のFPにも当てはまりますか？

Answer 1

賭けてください。関数プログラミングの望ましいことは、記述する数学的概念がより自然にFPで表現されることです。

これはちょっと難しいですが、John BackusのTuring Award paperでは、機能的（または「応用的」）なプログラミングがうまく説明されています。 Wikipedia articleも良いです。

Answer 2

はい。代数データ型、折り畳み/変形変態などはほとんどすべての関数型言語に共通しています（ただし、各言語でわずかに異なる名前が使われることがあります）。

Answer 3

機能ツールは、それを明示的に処理する言語だけでなく、すべてのプログラミングに適用されます。たとえば、Pythonにはmapとreduceの組み込み関数が用意されています。本当に巧妙になるには、マルチプロセッシングモジュールのようなものが必要です。

言語が正確なプリミティブを提供しないとしても、ほとんどの現代の言語は、依然としてもう少しの作業で所望の効果を得ることができます。これは、純粋なC言語でクラスのような概念をコード化する方法に似ています。

Answer 4

"マップ"、 "縮小"できるデータ型、つまりマップ、配列/ベクトル、またはリスト。

すべてのデータ構造が関数アプリケーションによって定義されている "純粋なラムダ計算"言語では、もちろん関数を並列に適用することができます（つまり、fn（expr1、expr2）を呼び出して）expr1とexpr2並行して）、それは実際にmap/reduceが何であるかではありません。

Answer 5

あなたが本当にが深い終わりにジャンプし、これらの概念は、エヘン、単に従来のではなく、ある理由を理解したい場合は、基礎、紙"Functional programming with bananas, lenses, envelopes and barbed wire"をチェックしてください。

Answer 6

高次関数（map、reduce、filter、...）と不変のデータ構造（タプル、コンスリスト、レコード、マップ、セットなど）は、 ）共通のFP言語で共通ですか？私は、絶対にはいと言うでしょう。

OOPにはよく知られている柱（カプセル化、継承、多型）があります。関数型プログラミングの "柱"は、1）関数をファーストクラスの値として使用し、2）副作用なしに自分自身を表現することです。

これらのアイデアをさまざまなFP言語（F＃は優れた選択肢です！）に適用するための一般的なツールがあり、より多くの主流言語に対応しています。 LINQのSelect = map、Aggregate = reduce/fold、Where =フィルタ、C＃には軽量のラムダ構文、System.Tupleなどがあります。

非明示的なFP言語には一般的に見当たらないものは、（ライブラリだけでなく）それらのための良い不変のデータ構造と構文サポートであり、そのためにピラー＃2に固執しにくいそれらの言語。 F＃リスト、レコード、タプルなどはすべて、これに対する素晴らしい言語とライブラリの組み合わせの良い例です。