プログラミング言語の歴史：Haskellが関数型プログラミング標準になった経緯

命令型プログラミングの理論的基礎は、20世紀の30年代にアランチューリングとジョンフォンノイマンによって解かれました。 機能的アプローチの根底にある理論は、20代と30代に形成されました。 関数型プログラミングの数学的基盤の開発者には、モーゼスシェーンフィンケル（ドイツとロシア）、ハスケルカレー（イギリス）、アロンゾ教会（アメリカ）があります。 シェーンフィンケルとカリーは組み合わせ論理の基礎を築き、教会はラムダ計算の作成者です。



関数型プログラミングは、組み合わせロジックとラムダ計算からのアイデアに基づいています。



しかし、1950年代初頭にJohn McCarthyがLisp言語（1958）を開発するまで、理論は理論のままでした。これが最初のほぼ機能的なプログラミング言語になりました。 Lispには長年競合他社がいませんでした。 その後、関数型プログラミング言語APL（1964）、ISWIM（1966）、およびFP（1977）が登場しましたが、これらはそれほど広く使用されていませんでした。



Lispは、時間の経過とともに、特にプログラムコードの量と複雑さの増大により、プログラム開発者のいくつかの要件を満たすことをやめました。 この状況に関連して、タイピングの役割が増え始めました。 20世紀の70年代後半から80年代初頭に、関数型言語に適したタイピングモデルが集中的に開発されました。



これらのモデルのほとんどには、データの抽象化やポリモーフィズムなどの強力なメカニズムのサポートが含まれていました。 ML、Scheme、Hope、Miranda、Cleanなど、多くの型付き関数型言語が登場しました。 さらに、方言の数は絶えず増加していました。

ML（1973）-最初のHindley – Milnerタイピング言語。

Scheme（1975）は、Lisp言語で最も人気のある2つの方言の1つです。

SASL、KRC、ミランダ（1972–1985）-最初の遅延言語の1つ。

Hope（1980）は、代数的データ型を持つ最初の言語の1つです。

ハスケルカレー



その結果、関数型プログラミングに関与するほぼすべてのグループが独自の言語を使用していることが判明しました。 これにより、これらの言語のさらなる普及が妨げられ、多くの問題が発生しました。



Haskell言語の歴史は1987年に始まります。 次々と、新しい関数型プログラミング言語が登場しました。 Miranda（Research Software Ltd、1985）のリリース以来、レイジーコンピューティングへの関心が高まっています。1987年までに、12を超える非厳密な純粋関数型プログラミング言語が登場しました。



ミランダは最も広く使用されていましたが、ソフトウェアの特許を取得していました。 オレゴン州ポートランドで開催された関数型プログラミング言語とコンピューターアーキテクチャに関する会議（FPCA、1987年）で、参加者は、そのような言語のオープンスタンダードを定義する委員会を設立することに同意しました。 委員会の目的は、既存の関数型言語を1つの共通言語に結合することでした。これは、関数型プログラミング言語の開発における将来の研究の基礎を提供します。



そこで、Haskellがいました。 組み合わせ論理の創始者の一人、Haskell Curryにちなんで名付けられました。



1980年代の終わりまでに、多くの関数型言語が作成されました。 それらのいくつかはHaskellに大きな影響を与えました：







新しい言語は、研究と実際の問題に適した自由言語になることでした。 無料の言語は、開発者委員会によって策定された標準に基づいています。 その後、誰でも標準の実装を開始し、言語コンパイラを作成できます。 Haskell標準の最初のバージョンは、1990年4月1日に公開されました。

Haskell 1.0-1.4

Haskellの最初のバージョン（Haskell 1.0）は1990年にリリースされました。 委員会の試みは、一連の言語実装（1.0、1.1、1.2、1.3、1.4）をもたらしました。

ハスケル98

1997年の終わりに、Haskell 98は、将来の開発の基礎として、1つの安定した、最小限の、移植可能なバージョンの言語と、研究用の付属標準ライブラリで指定する必要がありました。 委員会は、実験的な機能を追加および導入することにより、haskell 98の拡張およびバリエーションの作成を積極的に受け入れました。



1999年2月、Haskell 98言語標準が最初にThe Haskell 98 Reportとして公開されました。 2003年1月、修正版が「Haskell 98言語とライブラリ：改訂レポート」として公開されました。 言語は急速に進化し続け、グラスゴーHaskellコンパイラ（GHC）コンパイラの実装は実際の言語標準を表しています。

Haskell 2010

Haskellの現在の標準であるHaskell 2010は、2009年11月24日に発表されました。 GHCは、バージョン7.0.1以降、これをサポートしています。



Haskell '98と比較すると、次の変更が含まれています。



•Do Then If Then

•階層モジュール

•空の変数の宣言

•持続可能性ソリューション

•サードパーティの機能インターフェイス

•線形コメント構文

•ガードパターン

•軽量の依存関係分析

•言語の指示（プラグマ）

•n + kパターンの欠如







2011年1月7日に追加の変更が公開されました。



•データ型コンテキストの欠如

•箇条書きの変数リスト



Haskellは今日も進化を続けています。 ただし、安定バージョンはそれぞれ1998年と2010年の標準に基づいています。 しかし、それらに加えて、多くの拡張機能がHaskellに含まれており、常に新しいアイデアが導入されています。 世界のいくつかの国がこの言語に取り組んでいます-これらはイギリス、オランダ、アメリカ、オーストラリアです。 Haskellへの関心は、マルチプロセッサテクノロジーの人気によるものです。 Haskellモデルは、並列計算に適しています。

Haskellの作成者から

Curryは、Haskell言語の上に実装された汎用の組み込みプログラミング言語です。 カリー言語は、関数型プログラミング（ネストされた式、高次関数、レイジーコンピューティング）、論理プログラミング（論理変数、部分データ構造、組み込み検索システム）、および並列システムのプログラミング方法（論理変数による同期を伴う並列式計算）の可能性をシームレスに組み合わせます）



さらに、カリーは、純粋なプログラミング言語と比較して追加のメカニズムを提供します（関数型言語と比較して、論理言語と比較して、不完全なデータを使用した検索と計算は、決定論と関数の必要に応じて呼び出すため、より効率的な計算メカニズムです）。

人気度

Githubは現在、プログラミング言語の中で23番目に人気があります。



TIOBE インデックスでは、38番目にあります。







RedMonk Haskellのランキングでは非常に高く、16位です。 この場合、評価は、GitHubでの人気とStack Overflowでのディスカッションのアクティビティの組み合わせの評価に基づいています。

プロジェクト

Haskellは多くの複雑なプロジェクトを実装しています：



•コンパイラおよびその他の開発ツール。



•分散Darcsバージョン管理システム。



•ウィンドウマネージャーxmonad 。



• HAppS Webアプリケーションサーバー 。



•Perl 6用のパグインタープリター/コンパイラ。



•オペレーティングシステムハウス 。



• Lavaハードウェア記述言語。



•LOLITA自然言語処理システム。



• Equinox / ParadoxおよびAgdaの定理の証明システム。

フェイスブック

スパムフィルタリングは、Facebookのエンジニアが解決する最も重要なタスクの1つです。 最大のソーシャルネットワークは15億人を超える人々からのメッセージを処理するため、問題の規模を推定できます。 2015年に、同社はHaskellプログラミング言語を使用した新しいスパム対策フィルターを導入しました。







その若さ、実験的地位、比較的低い人気にもかかわらず、FacebookはHaskellを選択して重要なモジュールを作成しました。 新しいスパム対策フィルターの開発チームの一員であるエンジニアの1人であるLouis Brandyは、このプロジェクトに同僚と2年間を費やしました。 Wiredとのインタビューで、彼はそれらがどのように誘導されたかを説明しました。



ルイスブランディは慎重に言葉を選び、HaskellをFacebookにスパムフィルターを実装するのに理想的と呼んでいます。 Facebookは非常に大きなプロジェクトであり、スパマーはすぐに戦術を変更するため、すぐに有効になるスパムフィルターを開発し、常に変更するツールが必要です。



現代のインターネットの開発を見ると、多くのインターネットプロジェクトがこのパスに沿って行われるべきです。そのためには、スケーラビリティとリアルタイムの応答が重要です。 Facebookの開発者によると、Haskell言語には幅広い人気のあらゆるチャンスがあります。 Haskellが他の言語とはまったく異なるという事実のみが干渉します-そして、これにより、Haskellへの大量移行が困難になります。



それでも、業界は間違いなく正しい方向に動いています。たとえば、GoogleのGoやMozillaのRustなど、並列プロセス向けの新しいプログラミング言語の例が示しています。 Haskellほど効果的ではありませんが、学習は簡単です。 いずれにしても、Haskellは、他のプログラミング言語の開発を推進し、新しい有望なプロジェクトの立ち上げを促進してくれたことに感謝することができます。

Evgeny Kozlovは彼のブログでHaskellとの共同作業の印象について語っています。

短所

まず第一に、言語を入力するための高いしきい値。 はい、Haskellは美しく、きれいで簡潔ですが、これは無料で実現されているのではなく、脳の長い再構築とモナド、モナド変換器、レンズ、機械などの複雑な抽象化の研究によって実現されています。



第二に、生産的なコードを書くことの難しさです。 Haskellのすべてのコードは遅延しているため、ギガバイトの保留中の計算がメモリに格納されているが、まだ要求されていないため計算されない状況を簡単に実現できます。

プラス側

まず第一に、もちろん、言語の純度。 両方の意味での純度：機能の純度とOOPパラダイムの完全な欠如。 関数のシグネチャを調べて、副作用が発生するかどうかを確認できるのは素晴らしいことです。 OOPが存在しないということは、基本クラスからサブクラスへの未検証キャストのような恐ろしいことを行う方法がないことを意味します。



コードが記述されている場合、2つの方法で解釈することは困難です。 たとえば、Haskellでは関数は最初のクラスのオブジェクトであるため、Scalaのように関数の使用と関数への参照を混同することはできません。 または、たとえば、すべての関数は小文字で始まり、タイプ/クラスは大文字で始まる必要があるため、関数をタイプまたはクラスと混同することはできません。



Haskellについて語ることが無意味な言語機能は、ポリモーフィズムです。 Haskellが最大量の再利用コードを持つ言語だと言っても過言ではないでしょう。 少なくともいくつかの反復機能は抽象化されます。