商用ソフトウェアでの関数型プログラミング

私は最近、同僚と関数型プログラミングについて議論していました。FPにはいくつかの明らかな利点（単純なコード、数学的に簡単に推論できるなど）があることに2人で合意しましたが、どちらも商用ソフトウェアで使用されるのか、使用されるのかを考えました。

機能的に書かれたオープンソースやアカデミックなプロジェクトがたくさんあることは知っています（たとえば、Stack Overflowでこの質問を見たことがあります）が、少なくとも部分的に書かれた他の商用ソフトウェアをリストできる人はいないかと思います関数型言語（およびどの言語）で。

携帯電話を使用したことがありますか？Erlangには通信のニッチ市場がありますが、Facebookでもチャット機能の実装に使用されています。実稼働環境でErlangを使用している以下の企業については、このFAQを参照してください。

• Aptela（VoIPサービスプロバイダー）
• Bluetail / Alteon / Nortel（分散型、フォールトトレラントメールシステム、SSLアクセラレータ）
• Corelatus（SS7モニタリング）。
• CouchDB（MapReduceを使用したドキュメント指向データベース）
• dqdp.net（ラトビア語）（Webサービス）。
• エリクソン（AXD301 ATMスイッチ）
• Facebook（Facebookチャットバックエンド）
• フィンランド気象研究所（データ収集とリアルタイム監視）
• ゴールドマンサックス（高頻度取引プログラム）
• IDT corp。（リアルタイムの最小コストのルーティングエキスパートシステム）
• IEISS。（電子金融商品交換ソフトウェア）
• Klarna（電子決済システム）
• リンデンバウム（大規模音声会議）
• Mobilearts（GSMおよびUMTSサービス）
• Netkitソリューション（ネットワーク機器監視および運用サポートシステム）
• プロセス1（Jabberメッセージング）
• Quviq（ソフトウェアテストツール）
• RabbitMQ（AMQPエンタープライズメッセージング）
• Schlund + Partner（メッセージングおよび対話型音声応答サービス）
• Smarkets（賭け交換および予測市場）
• T-Mobile（以前はone2one）（高度な呼制御サービス）
• Telia（テレコムオペレーター）
• Textendo（革新的なテキストメッセージングサービス）
• Vail Systems（対話型音声応答システム）
• Wavenet（SS7およびIVRアプリケーション）

LinkedIn、Twitter、eBay、Sony Animation Studio、Gaurdian、FourSquare、および他の多くの企業がScalaを幅広く利用しています。

StackOverflowでこのトピックに関する議論がすでにいくつかあります。Clojureの本番準備をご覧ください。

私の周囲からの例が含まれています：

• クロージュア
• スカラ
• Chicken（スキームコンパイラ）

ああ、平均を破って読むことを忘れないでください

• JaneStreet（ヘッジファンド）はOCamlを使用しています。
• Credit Suisse（銀行）はF＃を使用しています。
• BarCap（銀行）がHaskellを使用してデリバティブのペイオフを説明したいと聞いたことがあります。これがどこまで進んだかわかりません。