年度について

そして、私がくだらない作業をしている間に、関数型言語についての簡単な概要のナンセンスを書きます。

たまたまそれらの少なくとも十数個を整理することができたので、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に似ています。

普遍的な理由を尋ねると、彼は次のことを話します 。 （ところで、私はこのウィキペディアの記事が大好きです）。



ああ、彼らは重いもので私を扱っており、仕事を始めなければ耳に入れると約束しています。

すみません（-：