Haskellは実世界で何に使用されていますか？[閉まっている]

Haskellには多くの誇大宣伝がありますが、実際のアプリケーションでそれがどのように使用されているかについての情報を取得することは困難です。Haskellの最も人気のあるプロジェクト/使用法は何ですか、なぜこれらの問題の解決に優れているのですか？

この言語の一般的な用途は何ですか？

迅速なアプリケーション開発。

「なぜHaskellなのか」を知りたい場合は、関数型プログラミング言語の利点を検討する必要があります（https://c2.com/cgi/wiki?AdvantagesOfFunctionalProgrammingから取得）：

• 関数型プログラムは、対応するImperativeLanguageよりもはるかに簡潔になる傾向があります。多くの場合、これはプログラマの生産性の向上につながります

• FPは迅速なプロトタイピングを促進します。そのため、これはExtremeProgrammersにとって最高のソフトウェア設計パラダイムだと思います...しかし、私は何を知っていますか？

• FPは機能面でモジュール化されており、ObjectOrientedProgrammingはさまざまなコンポーネントの面でモジュール化されています。

• あなたのケーキを持ってそれを食べる能力。メッセージを処理する複雑なOOシステムがあるとします。すべてのコンポーネントがメッセージに応じて状態を変更し、リンクしているオブジェクトにメッセージを転送する場合があります。呼び出し階層の深いオブジェクトがメッセージに欠陥があると判断した場合、すべての変更を簡単にロールバックするには、あまりにもクールすぎませんか？さまざまな州の歴史を持つことはどうですか？

• 多くのハウスキーピングタスク：データ構造の分解（PatternMatching）、変数バインディングの格納（クロージャー付きのLexicalScope）、厳密な型指定（TypeInference）、GarbageCollection、ストレージの割り当て、ボックス化（pointer-to-value）または非ボックス化（値を直接使用） ）表現...

• 安全なマルチスレッド化！不変のデータ構造はデータ競合状態の影響を受けないため、ロックで保護する必要はありません。既存のオブジェクトを破壊的に操作するのではなく、常に新しいオブジェクトを割り当てる場合は、割り当てとGarbageCollectionシステムでロックを非表示にすることができます。

これとは別に、Haskellには次のような独自の利点があります。

• 数学的表記法に触発された明確で直感的な構文。
• 既存のリストに基づいてリストを作成するには、内包表記をリストします。
• ラムダ式：明示的な名前を付けずに関数を作成します。したがって、大きな数式を処理する方が簡単です。
• Haskellは完全に参照透過的です。I / Oを使用するコードはすべて、そのようにマークする必要があります。このようにして、副作用のあるコード（画面にテキストを配置するなど）を（計算）のないコードから分離することをお勧めします。
• 遅延評価は本当に素晴らしい機能です：
  • 何かが通常エラーを引き起こしたとしても、結果を使用しない限り、それはまだ機能します。たとえば1 / 0、リストの最初のアイテムとして置くことができ、2番目のアイテムのみを使用した場合でも機能します。
  • この数独ソルバーなどの検索プログラムは、すべての組み合わせを一度にロードするわけではないため、簡単に作成できます。つまり、組み合わせを生成するだけです。他の言語でもこれを行うことができますが、デフォルトではこれを行うのはHaskellだけです。

次のリンクを確認できます。

• https://c2.com/cgi/wiki?AdvantagesOfFunctionalProgramming
• https://docs.microsoft.com/archive/blogs/wesdyer/why-functional-programming-is-important-in-a-mixed-environment
• https://web.archive.org/web/20160626145828/http://blog.kickino.org/archives/2007/05/22/T22_34_16/
• https://useless-factor.blogspot.com/2007/05/advantage-of-functional-programming.html

この投稿の人々は、関数型プログラミング言語を使用したことがない人にとって最も重要なポイントを見逃していると思います。関数型プログラミングに慣れていない場合は、Haskellを使用すると、今まで考えたことのない方法で考えることができます。その結果、他の領域や他の言語でのプログラミングが向上します。いくら？定量化が難しい。

Haskellのような汎用言語が何に適しているかについて、1つの良い答えがあります。それは、一般的なプログラムの作成です。

それが実際に使用される目的のために、私はそれを確立するために3つのアプローチを持っています：

• Haskellライブラリとアプリ領域のタグクラウド。Hackageの頻度で重み付けされています。

グラフィックス、ネットワーキング、システムプログラミング、データ構造、データベース、開発、テキスト処理に適していることを示します...

• それが業界で使用されている領域 -多くのDSL、Webアプリ、コンパイラ設計、ネットワーキング、分析、システムプログラミング、...

そして最後に、それが本当に強いものについての私の意見：

• 正確さが重要な問題、ドメイン固有の言語、並列および並行プログラミング

具体的に回答する場合は、質問の幅が広がっていることを理解していただければ幸いです。

動作中のHaskellの1つの例は、「1200行未満のコードで機能が充実したウィンドウマネージャー」であるxmonadです。

Haskell Wikiから：

Haskellは、航空宇宙や防衛から金融、Webスタートアップ、ハードウェア設計会社、芝刈り機メーカーまで、商業的にさまざまな用途を持っています。このページには、Haskellの産業利用に関するリソースが集められています。

Wikipediaによると、Haskell言語は、既存の関数型言語を、関数型言語設計の将来の研究に使用できる共通の言語に統合する必要性から作成されました。

入手可能な情報から、それが本来の目的を超えており、研究以外の目的で使用されていることは明らかです。現在では、汎用の関数型プログラミング言語と見なされています。

それでも「なぜ使用する必要があるのか​​」と疑問に思っている場合は、「使用する理由」を読んでください。Haskell Wikiの紹介のセクション。

Haskellは、汎用プログラミング言語です。これは、他の言語を使用して実行するあらゆるものに使用できます。あなたはあなた自身の想像力以外には何も制限されていません。それは何に適していますか？まあ、ほとんどすべて。関数型言語が優れていないタスクはほとんどありません。

そして、はい、私はDreamincodeのレインです。:)

また、ウィキペディアのページを読んでいない場合は、関数型プログラミングはオブジェクト指向プログラミングのパラダイムであるのと同様に、パラダイムでもあります。念のために。Haskellは、機能するという意味でも機能的です。それでかなりうまくいきます。

言語がオブジェクト指向言語ではないからといって、言語が何かによって制限されているわけではありません。Haskellは汎用プログラミング言語であり、Javaと同じくらい汎用的な目的です。

私はクールなものを持っています、FacebookはPHPコードを書き換えるための自動化ツールを作成しました。ソースを解析して抽象構文ツリーに変換し、いくつかの変換を行います。

if ($f == false) -> if (false == $f)

理由は分かりませんが、それが彼らの独特のスタイルのようで、かなりプリントされています。

https://github.com/facebook/lex-pass

私たちは小さなドメイン固有の言語を作るためにhaskellを使用しています。膨大な量のデータ処理。ウェブ開発。Webスパイダー。アプリケーションのテスト。システム管理スクリプトの作成。他のパーティと通信するバックエンドスクリプト。監視スクリプト（muninとうまく連携するDSLがあり、アプリケーションの正しい監視コードを簡単に作成できます。）

実際にはあらゆる種類のものです。数学的に少し傾倒している場合は、非常に強力で便利な機能を備えた日常の汎用言語です。

Haskellから：

Haskellは、標準化された汎用の純粋な関数型プログラミング言語であり、厳密でないセマンティクスと強力な静的型付けを備えています。論理学者のHaskell Curryにちなんで名付けられました。

基本的にHaskellは、他の汎用言語（C＃、Java、C、C ++など）を使用して通常作成するほとんどすべてのものを作成するために使用できます。

たとえば、インタラクティブなリアルタイムHTML5 Webアプリケーションの開発に使用します。Elmを参照してください。そのコンパイラはHaskellに実装されており、その構文はHaskellから多くを借りています。

これはHaskellとその使用法に関する情報のかなり良い情報源です：

オープンソースのHaskellのリリースと成長