そして、私がくだらない作業をしている間に、関数型言語についての簡単な概要のナンセンスを書きます。
たまたまそれらの少なくとも十数個を整理することができたので、WikipediaのUniversal Intelligenceの客観的評価へのリンクを置いて、いくつかの言語の最も主観的な評価を提供しようとします。
「難解性」にもかかわらず、非常に多くの関数型言語があります。 多くの場合、これらは高度に専門化されていますが、これはかなり前提条件ですが、後に「汎用言語」になります（Erlangの場合のように）。
行こう：
スキーム （
私のお気に入り ）
スキーマはLispの方言であり、後者から常に最高の構文を継承しています-括弧。 Lispとの主な違いは、機能の見た目です。
Lispは、次のようないくつかの理由で関数型言語ではありません。Lispでは、変数を使用して副作用を作成できます。
スキームのもう1つの優れた機能は、「末尾再帰」のネイティブで必須の（仕様に含まれる）処理です。
Schemeは、地球上で最も美しいプログラミング言語です。 少なくともそう思う（-：
そして、
ここにユニバーサルマインドがスキームについて考えているものがあります。
ハスケル （
最も愛されていない ）
狂気の禅数学者の言語。 彼の構文では、悪魔は彼の足を骨折しますが、同時に彼は非常にクールです。 私は、ワーム™がわざわざそれを学ばなかったことを恥ずかしく思います。
申し訳ありませんが、階乗関数を書いた後、私の脳のリソースが不足しています。
Haskellの主な問題は、私の意見では、完全に致命的な構文です。
ユニバーサルマインドの考え方は
違う 。
Occaml素晴らしい言葉。 FPとOOPの利点を組み合わせて管理します。 この奇跡は伝説のMLから直接退化した。 他の異なる機能的なものとは異なり、Okemlは実用的であり、実際のソフトウェアの開発者の間で比較的人気があります。
マイクロソフトは、Ocaml-F＃のサブセットのすばらしいコンパイラを静かにリリースしました。 F＃の主な利点はそのCLRです。 これは.NET言語であり、そのすべてが暗示するものです。
お勧めです。
ユニバーサルマインドは、
Ocamlについて、
F＃についてです。
アーラン （
またお気に入り ）
アーランはエリクソンを去りました。 そしてこれは素晴らしい！
非常に奇妙なプロローグとして、名前なしで長い間使用されていました。 その結果、彼らは最終的にそのプロローグを運用可能にし、偉大な
アグナー・アーランの名前を与えました。 20世紀の終わりまでに、ソースコードが発見され、パブリックドメインになりました。
この言語は、分散システムの構築に理想的であり、実際、多くの点でPlan9 /
Inferno OSに似ています。
普遍的な理由を尋ねると、彼は
次のことを話し
ます 。 （ところで、私はこのウィキペディアの記事が大好きです）。
ああ、彼らは重いもので私を扱っており、仕事を始めなければ耳に入れると約束しています。
すみません（-：