良い関数型/おっと/メタプログラミング言語を探しています：[終了]

なりたい

• ネイティブコードの生成// GHCなどでコンパイルできる
• クロスプラットフォーム（win / linux）
• 機能的で少しオブジェクト指向
• ラムダ、パターンマッチング、タプル、その他の機能的なもの
• 優れたメタプログラミングサポート
• インデントと最小ボーダー
• 静的型付け
• また、私はMixinのサポートを求めています:)
• 一部のフレームワークに基づいてWebサイトを構築する可能性もプラスです。
• そう、はい、パフォーマンスと安定性が重要です。

私はHaskellを起動しましたが、OCamlがあるため、それについてはまだわかりません。そして、F＃の経験があります。しかし、私が知る限り、OCalmは少しOOPであり、時にはそれよりも速い（それについてはよくわかりません）ので、試したことはありません。アーランは、私がについて何も知らない、もありアーランを。そして多分私はもっと何かが足りない..？Python、私はここではpythonについて何も知りません、それは機能的であり、それはoopであり、ミックスインをサポートし、人気があり高速ですが、Pythonはすべての機能的なマジックに対応できるとは本当に思っていません。

このスレッド/トピックは、何も話さない、または言語戦争のようなものであることを知っていますが、私は真剣に、そしてあなたのビジョンを本当に聞きたいと思っています。

Clojureは、すべての要件にかなり適しているようです。

• ネイティブコード生成/ GHCなどでコンパイル可能 - はい（すべてのClojureコードはJavaバイトコードにコンパイルされ、その後、JVM上のJITを介してネイティブコードにコンパイルされます）

• クロスプラットフォーム（win / linux）- はい-JVMが実行される場所

• 関数型で少しオブジェクト指向- はい-Clojureは何よりもまず関数型言語ですが、（Javaの相互運用性またはCLスタイルのオブジェクトを介して）必要に応じてOOもサポートしています。そうは言っても、OOは一般的にClojureでは一義的であると考えられています。

• ラムダ、パターンマッチング、タプル、その他の機能的なもの- はい-これは、かなり標準的な関数型言語です。作者（Rich Hickey）は、Haskellに触発されました。

• 優れたメタプログラミングサポート- はい-「code-is-data」はすべてのLispと同様に適用され、優れたマクロ機能を取得します

• インデントと最小限の境界線- はい、確かにそれは確かに実際には言語機能ではなくエディターですか？

• 静的型付け- はい-Clojureはデフォルトで動的ですが、パフォーマンスを向上させるためにいつでも静的型またはプリミティブ型のヒントを提供できます

• また、Mixinのサポートも必要です:)- はい-さまざまな方法（マクロなど）で実現できますが、Clojureのプロトコル機能を発見した後は、おそらく必要ないか、必要ありません。

• 一部のフレームワークに基づいてWebサイトを構築する可能性もプラスです。- はい-ClojureにはRing / Compojureのようなフレームワークがあり、Javaフレームワークも使用できます

• そう、はい、パフォーマンスと安定性が重要です。- はい-基本的に、エンタープライズアプリケーションで十分に実証されているJVMのすべてのパフォーマンス/安定性を取得します。

それ以外にも、Clojureには、同時実行性に関して非常に優れた機能がいくつかあります。このビデオを見るのは本当に価値があります：http : //www.infoq.com/presentations/Value-Identity-State-Rich-Hickey

Common Lisp

上記の要件をすべてサポートしているようです。リンクをクリックすると、開始するために知っておく必要があるすべてをカバーするオンラインブックに移動します。

OCamlは、必要なすべての機能を提供する唯一の言語です。（しかし、mixinについては知りません。）Ocsigenという名前のWebフレームワークさえあります。それは誇大宣伝言語以上のものであり、古い言語であり、実際のユーザーベース（企業、大学、趣味）と長年の改善とテストが行​​われています。 。

間違いなく、Scalaは要件に一致できます。

1. コンパイルされ、JVMで実行されるため、win / linux / macになります。
2. 関数型プログラミングとオブジェクト指向プログラミングの両方をサポートします。
3. あなたが言及する機能的なものをサポートします。パターンマッチングは見栄えがよく、積極的に使用されています。JVMはサポートしていないため、末尾再帰のサポートはありませんが、場合によっては再帰呼び出しを最適化できます。
4. メタプログラミングはサポートされていません。言語は素晴らしいです^ W DSLにはかなり良いです。（修繕）
5. ミックスイン（特性）があります。
6. Liftウェブフレームワークをご覧ください。言語の機能的特徴を使用し、高度な特徴を備えているため、非常に興味深いものです。他にもいくつかのWebフレームワークがあります（play！など）。
7. 非常に安定したJVMに基づいています。
8. 構文はかなりきれいです。そこには括弧の地獄（すみませんlispers、それは私の個人的な意見です）はなく、セミコロンの使用は多くの場合オプションに削減されています。

さらに、Scalaは（アクターによる）並列プログラミングを強力にサポートしています。Scalaコミュニティは成長しており、実際のプロジェクト（Twitter）で使用されています。この言語は、多くの機能と構文上の糖を備えているため、習得が非常に困難ですが、一度処理すると、間違いなくプログラミングを楽しむことができます。