なぜすべての関数型プログラミングのチュートリアルがこんなに充実しているのですか？

私は関数型プログラミングを学ぼうとしており、私が見つけたほとんどのチュートリアルでは、より複雑な構造の例として数学を使用しています（場合によっては単純な構造も）。どうしてこれなの？もっと簡単なものが使用できると思います。そのため、学習が難しくなっています。

背景情報：私は12年間ソフトウェアを書いています。クロージャ、ファーストクラスの市民としての機能、ジェネリックなどの概念の一部を理解しています。高度なレベルで高階関数に問題があるかもしれませんが、基本的な理解があると思います。モナドは私を尻に噛みついており、この時点で私はそれを過ぎていない（私はしつこいので、最終的にはそうなると確信している）。

関数型プログラミングは数学的な構造のモデリングが非常に得意であり、数学の概念、特にラムダ計算に非常に関係しているため、彼らは数学を使用します。また、I / Oは通常、さまざまな言語のREPLを介した関数型パラダイム数学の多くの言語でかなり厄介で高度な主題であるため、最初は言語を教える良い方法になります。

関数型プログラミングは、関数をプログラミング言語内のファーストクラスの構成要素として扱うため、関数の生成は非常に重要になります。したがって、特にグラフ理論では、高等数学がかなり重要になります。

命令型言語も同様に価値がありますが、基本的には算術的です。とにかく追加できるマシンに近いためです。抽象度の高い関数型言語は、数学に向いています。アカデミアでの一般的な使用は、多くの数学を知っており、多くの数学を学ぶことを期待している人々に教えている人々によって慣れ、教えられているので、助けにはなりません。したがって、いわば「それを馬鹿にする」ことは可能ですが、これらの要因が与えられる可能性は低いです。

http://learnyouahaskell.com/-おそらく関数型プログラミングの最も穏やかな紹介の1つです。私は再確認しましたが、基本的な代数とグラフ理論以外には何もありません。

多くの理由があり、それらはすべて関連しています。

• ほとんどの関数型プログラミング言語は、CSが数学と密接にリンクしているアカデミックコンテキストで開発されたため、それらを設計した人々は数学のバックグラウンドが強い（そして聴衆についても同じことを想定する傾向がある）
• 関数型プログラミングは、特に数学が多い問題を解決するのに適したパラダイムです
• FPの背後にある理論であるラムダ計算（基本的には関数の抽象的な理論）は数学の分岐であり、FP言語はラムダ計算の概念と用語を使用する傾向があります。

また、FPは他のパラダイムよりも優れているわけではありませんが、重要な概念（実際のファーストクラスの市民としての機能、高次の機能、閉鎖、および純度）には特定の考え方が必要です。ある時点で、あなたの心は「クリック」するはずです。これら4つのコアアイデアを理解すれば、残りは他のパラダイムと同じくらい簡単になるでしょう。

基本的に、コンピュータープログラミングは数学であるためです。関数型言語はこれを念頭に置いて設計されたため、チュートリアルの多くが数学に焦点を合わせているのはこのためです。

コンピュータープログラミングを数学的基礎を持っていると考えることに慣れていない場合、学ぶのは困難です。

「The Little Schemer」は関数型プログラミングの素晴らしい入門書であり、まったく役に立たないと思います。モナドには入らないので、あなたの好みには基本的すぎるかもしれませんが、最後に向かってYコンビネーターの派生を行います。

12年前の大学以来関数型プログラミングを何もしなかった後、最近それを経験しました。それは素晴らしい復習でした。