これらは史上最も過小評価されている 5 つのプログラミング言語です

数年ごとに、プログラミングの世界は少数の言語に集中し、それらを唯一の重要な選択肢として扱います。 JavaScript、Python、Java、C、そして現在では Rust と Go が求人情報、チュートリアル、カンファレンス トークの大半を占めています。このコンセンサスは有用ですが、難しい問題をエレガントに解決し、その後に登場したすべてのものに影響を与え、現在でも有用な働きをしている言語を埋もれてしまいます。過小評価されているということは、無名であるという意味ではありません。それは、言語の実際の品質と、その言語が受ける注目との間には、恥ずかしいほど大きなギャップがあることを意味します。これら 5 つの言語はそのギャップに生きています。

Perl がどれだけ正しくなったかは決して評価されません

初期のインターネットを密かに支えた言語

クレジット: Perl 財団

Perl はかつてインターネットの接着剤でした。ログを解析し、Web ページを生成し、データベースに接続し、テキストを他のものよりもうまく処理しました。その正規表現エンジンは他の言語が模倣するほど優れており、簡単なことは簡単に、難しいことは可能にするという実用的な哲学は、Python、Ruby、PHP に影響を与えました。そのパッケージ リポジトリである CPAN は、最新のパッケージ マネージャーよりも前から存在しており、これまでに構築された中で最も完全な言語エコシステムの 1 つであり続けています。

その後、ジョークが始まり、書き込み専用言語の評判は定着し、開発者の世代は Perl が実用的なツールではなく、教訓として扱われると思い込んで育ちました。最新の Perl は、2005 年に人々に嘲笑された言語とは異なります。これには、厳格なモード、シグネチャ、優れた Unicode 処理、および成熟したオブジェクト システムがあります。これは今でもテキストの多い問題を解決する最速の方法の 1 つであり、依然として膨大な量の重要なインフラストラクチャを実行しています。

OCaml は、業界がまだ再発見している問題を解決しました

アカデミックであることを拒否した関数型言語

OCaml は、論文を出版するのではなくソフトウェアを出荷したい人によって関数型プログラミングが設計されたときに起こります。その型システムは敵対的ではなく強力で、モジュール システムはあらゆる言語の中で最も洗練されたものの 1 つであり、ネイティブ コンパイラーは高速なバイナリを生成します。 Jane Street はこれを基に貿易帝国を築き、初期の Rust コンパイラはその中で書かれ、今でもコンパイラ、静的解析、形式的検証で人気があります。

OCaml がより実用的な選択肢である場合が多いにもかかわらず、この言語は Haskell の影に隠れがちです。これには実際の突然変異、実際の副作用があり、使用するのに博士号を必要としないコンパイラがあります。かつてはそのツールが最も弱点でしたが、opam と dune によって劇的に改善されました。しかし、一部の業界以外では、OCaml は珍品として扱われています。これは、実用主義を捨てずに関数型プログラミングを求める開発者にとっては損失であり、OCaml が数十年前に世に送り出したアイデアを再発明し続けている業界にとっても損失です。

安全性が冷静になる前、エイダは安全性について正しかった

正しさを重視した言語

Ada は、失敗が人々の死を意味するシステム向けに設計されました。航空宇宙、鉄道信号、医療機器、防衛システムは依然としてそれに依存していますが、それには十分な理由があります。その型システム、同時実行モデル、および形式的検証のサポートは例外的です。この言語は、C および C++ プログラマーがキャリアを費やして追いかけてきたあらゆるクラスのバグを防ぎます。また、その明示性 (冗長だと揶揄されることもよくあります) こそが、まさにこの言語を信頼できるものにしています。

業界は現在、メモリの安全性、安全なデフォルト、証明可能な正しさに夢中になっていますが、これらはすべて 1980 年代に Ada が支持したアイデアです。 Rust はこうした懸念を主流に持ち込んだ点で称賛に値しますが、Ada はそれが流行するずっと前から同じ主張をしていました。エイダは認められる代わりに、年老いていて、政府の命令に従っていて、冗長であるという評判を得ました。その評判は、その技術的な卓越性や最も要求の厳しい環境での継続的な使用を無視しています。

Erlang は他の人が必要とする前に並行性を理解していました

失敗しないシステムのために構築された言語

クレジット: エリクソン EB

Erlang は電話交換機用に設計されています。つまり、ハードウェアの障害、ソフトウェアの誤動作、警告なしのトラフィックの急増の間も稼動し続ける必要があるシステム用に設計されています。そのアクター モデル、軽量プロセス、停止することなくコードをホットスワップできる機能により、時代を数十年先取りしました。 WhatsApp は、Erlang の同時実行モデルが重労働を担っていたため、小規模なエンジニアリング チームで数億人のユーザーを処理していました。 RabbitMQ、通信インフラストラクチャ、および無数の分散システムは今でもその上で実行されています。

その構文は独特で、そのエコシステムは主流の言語よりも小さく、その評判は分散システム界に限定されています。 Elixir はそのアイデアの一部をより幅広いユーザーに提供しましたが、Erlang 自体はフォールト トレランスのリファレンス実装のままです。現代の言語は、アクター、監視ツリー、構造化された同時実行性を再発明し続けていますが、多くの場合、それほどエレガントではありません。 Erlang が過小評価されているのは、Erlang が最も良く解決できる問題は、ほとんどの開発者がシステムがダウンした後に初めて発見する問題だからです。

Lispはほぼすべてにおいて正しかった

再発見され続ける言語

Lisp は言語というよりはファミリーであり、Common Lisp、Scheme、Clojure、Racket などにまたがります。これにより、ガベージ コレクション、再帰、動的型付け、高階関数、マクロ、REPL 駆動の開発が発明されました。その同形性、つまりコードはデータであるという考え方は、メタプログラミングでは比類のないものです。これは AI 研究、CAD ソフトウェア、宇宙船、量子コンピューティングで使用されており、そのアイデアはその後リリースされたほぼすべての言語に現れています。

それにもかかわらず、Lisp は歴史的な好奇心または学術的なおもちゃとして無視されています。その構文または構文の欠如は誤解されており、そのエコシステムは方言間で断片化されています。業界は Lisp の機能を再発見し、それをイノベーションとして再ブランド化し続けていますが、それがどこから来たのか忘れてしまいます。 Lisp が過小評価されているのは、Lisp がはるかに先を行っていたため、業界がまだ追いついていないこと、およびその柔軟性により単純な物語にパッケージ化することが困難であるためです。

佳作: Haskell と Prolog

Haskell は関数型プログラミング界では過小評価されていませんが、業界全体では学術的すぎるとして広く無視されています。実際には、これは優れた同時実行性と、出荷前に間違いを検出する型システムを備えた実用的な言語です。同様に、Prolog は最も有名な論理プログラミング言語ですが、パラダイムとしての論理プログラミングは依然として過小評価されています。これはエキスパート システム、自然言語処理、制約解決を強化しますが、専門コース以外で教えられることはほとんどありません。

これらすべての言語のパターンは同じです。それぞれが実際の問題を解決し、その後に登場した言語に影響を与え、今日でも役立つ仕事をしています。それらはまた、トレンド、マーケティング、または新しいものに対する単純な人間の好みによって押しのけられました。過小評価されていることは時代遅れであることを意味するものではなく、無名であることを意味するものでもありません。これは、これらの言語が教えなければならないことを学び終える前に、業界が先に進んだことを意味します。

​