|
（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 == 概要 == は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になるような処理がしばしば簡潔になるばかりではなく、必要に応じて手続き型プログラミングを利用できる。 は関数型プログラミングの研究対象として人気が高い。あわせて と呼ばれるマサチューセッツ工科大学やグラスゴー大学によるものをはじめ、他にも 〔かつては と呼ばれていた。〕 や といった分散バージョン、 と呼ばれる投機的実行バージョン、 や 、 といったオブジェクト指向バージョンも複数存在しているなど、いくつもの派生形が開発されてきている。 GUI開発向けサポートの新しい方法を提供する、 と呼ばれる に似た言語もある。 と の最大の違いは、モナドを代用する一意型の採用である。 は比較的小規模なユーザコミュニティを持つが、その力はいくつかのプロジェクトで十分に生かされてきた。オードリー・タングによる は近くリリース予定である のインタプリタとコンパイラの実装で、書くのにたったの数ヶ月しかかからなかったなど の有用性を証明するものである。Darcs はさまざまな革新的な機能を含むリビジョンコントロールシステムである。 は をシステムツール開発に選択した。 の急速な進化は今も継続しており、GHCは現在の事実上の標準の処理系であるといえる。 では2001年、2004年、2005年に最優秀賞に選ばれている。 は 用のビルドおよびパッケージングシステムである。 を利用して ライブラリのアーカイブである を参照して、新たなパッケージを簡単にインストールすることもできる。しばしばパッケージの依存地獄が発生しがちだが、それらを解決するため、という環境も有志によって提供されている。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Haskell」の詳細全文を読む スポンサード リンク
|