プログラミング言語の種類別一覧

これは、種類別にグループ化された、注目すべきプログラミング言語のリストです。

グループは重複しており、相互に排他的ではありません。言語は複数のグループにリストされる場合があります。

エージェント指向プログラミングにより、開発者は他のエージェントにメッセージを送信できるオブジェクトの抽象化である ソフトウェア エージェントを構築、拡張、使用できるようになります。

• クロージュア
• ファ#
• ゴール
• サール

配列プログラミング(ベクトルまたは多次元とも呼ばれる) 言語は、スカラーに対する操作を一般化して、ベクトル、行列、および高次元配列に透過的に適用します。

アスペクト指向プログラミングを使用すると、開発者はコード自体を変更することなく、「アドバイス」と呼ばれる新しい機能をコードに追加できます。代わりに、ポイントカットを使用してアドバイスをコード ブロックに実装します。

• エイダ
• アスペクトJ
• グルーヴィー
• ネメルル
• 楽^{[2] [3]}

アセンブリ言語はマシン言語に直接対応しているため(下記参照)、マシンコード命令は人間が理解できる形式で表示されますが、個々のステートメントと個々の命令の間に 1 対 1 のマッピングがない場合があります。アセンブリ言語では、プログラマーはシンボリック アドレスを使用できます。アセンブラーは、シンボリック アドレスを絶対アドレスまたは再配置可能アドレスに変換します。ほとんどのアセンブラーは、マクロとシンボリック定数もサポートしています。

オーサリング言語は、コンピューターの専門家でない人がチュートリアル、Web サイト、その他のインタラクティブなコンピューター プログラムを簡単に作成できるように設計されたプログラミング言語です。

• ダーウィン情報タイピングアーキテクチャ(DITA)
• 投げ縄
• パイロット
• チューター
• 著者ウェア

コマンドライン インターフェイス(CLI) 言語は、バッチ言語またはジョブ制御言語とも呼ばれます。例:

これらは通常コンパイラによって処理される言語ですが、理論的にはどの言語でもコンパイルまたは解釈できます。

連結型プログラミング言語は、すべての式が関数を表し、式の並置が関数合成を表す、ポイントフリーのコンピュータプログラミング言語です。^{[4]連結型プログラミングは、他のプログラミングスタイルで一般的な}関数適用を、サブルーチンを構築するデフォルトの方法として関数合成に置き換えます。

• 要素
• 4番目
• jq（関数適用もサポートされています）
• 喜び
• ポストスクリプト
• 楽^[5]

メッセージ パッシング言語は、並行性のための言語構造を提供します。Java などの主流言語における並行性の主流パラダイムは、共有メモリ並行性です。メッセージ パッシングを利用する並行言語は、一般的に、通信シーケンシャル プロセス(CSP) やπ 計算などのプロセス計算にヒントを得ています。

制約プログラミング言語は、変数間の関係が制約として表現される宣言型プログラミング言語です。実行は、宣言されたすべての制約を満たす変数の値を見つけることによって進行します。

• クレア
• 制約処理ルール
• チップ
• 日食
• 万華鏡
• 楽^[8]

中括弧または波括弧言語には、中括弧 (別名中括弧){}内のステートメントとしてブロックを定義する構文があります。この構文はBCPL (1966)で始まり、Cによって普及しました。多くの中括弧言語はC から派生しているか、 C の影響を強く受けています。例:

データフロー プログラミング言語は、プログラムを指定するためにデータ フローの (通常は視覚的な) 表現に依存します。離散イベントへの反応やデータ ストリームの処理によく使用されます。データフロー言語の例には、次のものがあります。

データ指向言語は、あるセットを他のセットにマッピングするエンティティ関係テーブルとして記述された関係を検索および操作する強力な方法を提供します。^{[引用が必要]}データ指向言語の例には次のものがあります。

決定表は、どの言語でもプログラムを書く前にロジックを明確にするための補助として使用できますが、1960 年代には、次のような主要なロジックが決定表の形式で直接表現される言語がいくつか開発されました。

• ファイルタブ

宣言型言語は、制御フローを詳細に記述せずに計算のロジックを表現します。宣言型プログラミングは、制御フローがシリアル命令 (命令型) によって指定される命令型プログラミング言語を介した命令型プログラミングとは対照的です。(純粋な) 関数型およびロジックベースのプログラミング言語も宣言型であり、宣言型カテゴリの主要なサブカテゴリを構成します。このセクションでは、それらのサブカテゴリに含まれない追加の例を示します。

ソース埋め込み可能言語は、多くの場合 Web ページである自由形式のテキスト内に実行可能なコードの小さな断片を埋め込みます。

クライアント側の埋め込み言語は、ブラウザまたは対象クライアントの機能によって制限されます。サーバーに再接続する必要なく、Web ページにダイナミズムを提供することを目的としています。

サーバー側埋め込み言語は、ほぼすべての言語をサーバーに組み込むことができるため、はるかに柔軟性があります。サーバー側コードの断片を Web ページに埋め込む目的は、追加のマークアップを動的に生成することです。ページが提供されるとコード自体は消え、その出力に置き換えられます。

• PHP の
• VBスクリプト
• Tcl – NaviServerのサーバー側であり、電子産業システムの必須コンポーネントです。
• WebDNA – データベース駆動型ウェブサイト専用

上記の例は、特にこの目的に特化したものです。Erlang 、Scala、Perl、Ring、Rubyなど、他の多数の言語も適応できます (たとえば、 Apacheモジュール にするなど)。

• アクションスクリプト
• JavaScript (別名 ECMAScript または JScript)
• VBScript (Windows のみ)

さまざまな動的言語やスクリプト言語を、コンパイルされた実行可能コードに埋め込むことができます。基本的に、言語のインタープリタのオブジェクト コードを実行可能ファイルにリンクする必要があります。埋め込まれた言語のソース コード フラグメントは、文字列として評価関数に渡すことができます。ソース コードがユーザーによって入力される場合、アプリケーション制御言語はこのように実装できます。インタープリタが小さい言語が推奨されます。

主にプログラミングの指導と学習を目的として開発された言語。

難解なプログラミング言語とは、コンピュータプログラミング言語設計の限界をテストするため、概念実証のため、またはジョークとして設計されたプログラミング言語です。

拡張プログラミング言語は、別のプログラムに埋め込まれ、拡張スクリプトでその機能を利用するために使用される言語です。

第 4 世代プログラミング言語は、データベース システムを中心に構築された高水準言語です。一般に、商用環境で使用されます。

関数型プログラミング言語は、プログラムとサブルーチンを数学関数として定義し、それらを第一級として扱います。多くのいわゆる関数型言語は「不純」であり、命令型機能を含んでいます。多くの関数型言語は数学計算ツールに関連付けられています。関数型言語には次のものがあります。

エレクトロニクスにおいて、ハードウェア記述言語(HDL) は、電子回路、特にデジタル ロジック回路の構造、設計、動作を記述するために使用される特殊なコンピュータ言語です。業界で最も広く使用され、サポートも充実した HDL の 2 種類は、VerilogとVHDLです。ハードウェア記述言語には次のものがあります。

• Verilog-AMS (アナログおよびミックスシグナル用 Verilog)
• VHDL-AMS (アナログ/ミックスシグナル拡張付き VHDL)

命令型プログラミング言語は、マルチパラダイムであり、他の分類に表示される場合があります。命令型パラダイムに従うプログラミング言語のリストは次のとおりです。

REPLとして知られる対話モード言語は、一種のシェルとして機能します。式またはステートメントを 1 つずつ入力でき、その評価結果がすぐに表示されます。

インタプリタ言語は、インタープリタによってソース コード形式からプログラムを実行できるプログラミング言語です。理論的には、どの言語もコンパイルまたは解釈できるため、インタプリタ言語という用語は通常、コンパイルされるのではなく解釈される言語を指します。

反復言語はジェネレータを中心に構築されるか、ジェネレータを提供します。

ガベージ コレクション (GC) は、自動メモリ管理の一種です。ガベージ コレクターは、プログラムによって割り当てられたが使用されなくなったメモリを再利用しようとします。

• アルゴル68
• 組み立て（各種）
• 至福
• Ｃ
• C++
• コンポーネントパスカル
• 4番目
• フォートラン
• フリーBASIC
• モジュラ2
• オベロン
• パスカル
• 英語
• ジグ

• Ada実装ではガベージ コレクションを提供する必要はありませんが、言語セマンティクスではガベージ コレクションがサポートされており、多くの実装にガベージ コレクションが含まれています。
• Blitz BASIC（BlitzMaxとも呼ばれる）は通常、参照カウント方式を採用しており^{[12] 、ガベージコレクターもサポートしています。また、ポインターを使用するためのオプションのユーティリティ[13]}や、メモリを直接割り当てたり解放したりするためのユーティリティも付属しています^{[14] 。}
• COBOLはCOBOL 2002の時点でポインタ^[15]とヒープ割り当て^[16]をサポートしており、ガベージコレクターもサポートしています。^[17]
• Cythonは、ユーザーがCから、、をインポートし、Pythonコードで使用できるようにすることで、オプションの手動メモリ管理を提供しますmalloc。realloc[ free18 ^]
• Dはプログラマーに独自のガベージコレクターの完全な制御を提供し、完全に無効にする機能も備えています。^[19]
• Nimは通常、設定に応じてデフォルトでガベージコレクションまたは参照カウントされますが、プログラマーはスイッチを使用して--mm:none手動でメモリの割り当てを解除することができます。^[20]
• Objective-CとObjective-C++ は、手動のメモリ管理の代替として、オプションの参照カウントとガベージ コレクションをサポートしています (Apple はガベージ コレクターを非推奨にしました)。
• PostScriptでは元々、開発者はsaveandrestore演算子を使用して手動でメモリを再利用する必要がありました。PostScriptレベル2ではガベージコレクターが導入されましたが、その使用はオプションです。^[21]
• Rust はオプションの参照カウントをサポートしていますが、手動のメモリ管理が推奨されます。
• Scalaは通常、JVMとJavaScriptターゲットでメモリを自動的に管理します。しかし、LLVMベースのScalaネイティブコンパイラは、ポインタの使用、Cスタイルのヒープ割り当て（例malloc、、realloc）freeおよびスタック割り当て（stackalloc）をサポートしています。^[22]
• Swift はmalloc通常参照カウントを使用しますが、と を使用してユーザーが手動でメモリを管理することもできます。Apple プラットフォームでは、これらの関数は C 標準ライブラリ ( 、またはfreeからインポートされます) からインポートされます。Linux では、開発者は をインポートし、Windows では をインポートする必要があります。FoundationAppKitUIKitGlibcucrt
• V (Vlang) は、ユーザーの利便性のためにデフォルトで GC を使用しますが、これをオフにすることもできます (-gc none)。ユーザーはメモリを手動で自由に管理できます。自動解放 (-autofree) またはアリーナ割り当て (-prealloc) を使用することもできます。
• Valaはデフォルトで参照カウントを使用しますが、ユーザーは必要に応じて手動でメモリを管理できます。^[23]

• エイダ
• Ｃ
• C++
• フォートラン
• ニム
• パスカル
• 錆^{[24] [25]}
• オブジェクティブC
• ジグ

• ニム
• オブジェクティブC
• パール
• 迅速
• ビジュアルベーシック
• ゾジョ

リストベース言語は、リストデータ構造に基づいたデータ構造化言語の一種です。

リトルランゲージ^[26]は特殊な問題領域に役立ちます。

• awk – テキスト ファイルの操作に使用されます。
• sed – テキストを解析して変換する
• SQL – キーワードはわずかしかなく、完全なプログラミング言語に必要なすべての構成要素を備えているわけではない^[a] – 多くのデータベース管理システムは、SQLをストアドプロシージャ言語として追加の構成要素で拡張している。

ロジックベースの言語では、ソリューションを取得するための一連の手順ではなく、ソリューションに必要な一連の属性を指定します。

このプログラミング パラダイムに従う注目すべき言語には次のものがあります。

• アルフ
• アルマ-0
• カレー
• データログ
• フリル
• Flix (ファーストクラスの Datalog 制約を備えた関数型プログラミング言語)
• ヤヌス
• λProlog (多態型、モジュールプログラミング、高階プログラミングを特徴とする論理プログラミング言語)
• Oz、および Mozart プログラミング システムクロスプラットフォームOz
• Prolog (データとプログラム評価メカニズムを、ホーン論理と呼ばれる特殊な形式の数学的論理と、論理的解決と呼ばれる一般的な証明メカニズムとして定式化します)
  • Mercury (Prolog ベース)
  • Visual Prolog (オブジェクト指向の Prolog 拡張)
• ループ
• スフレ

マシン言語は、コンピュータの CPU によって直接実行できます。マシン言語は、通常、8 進数または16 進数で表されるビット パターンとして定式化されます。各ビット パターンにより、CPU 内の回路はハードウェアの基本操作の 1 つを実行します。特定の電気入力 (マイクロプロセッサの CPU パッケージ ピンなど) のアクティブ化と、CPU 状態値の論理設定により、プロセッサの計算が制御されます。個々のマシン言語はプロセッサ ファミリに固有です。1 つのプロセッサ ファミリのマシン言語コードは、そのプロセッサにそれをサポートする追加のハードウェアがない限り (たとえば、DEC VAX プロセッサには PDP-11 互換モードが含まれていました)、別のファミリのプロセッサで直接実行することはできません。マシン言語は (基本的に) 常に CPU 開発者によって定義され、サード パーティによって定義されるものではありません。^[b]シンボリック バージョン、つまりプロセッサのアセンブリ言語も、ほとんどの場合、開発者によって定義されます。よく使用されるマシン コード命令セットには次のものがあります。

マクロ言語は、あるソース コード ファイルを別のソース コード ファイルに変換します。「マクロ」は、基本的には短いテキストで、パラメータ置換によって長いテキストに展開されます (衛生的なマクロと混同しないでください)。マクロは、ソース コードのプリプロセスによく使用されます。プリプロセッサは、ファイルのインクルードなどの機能も提供できます。

#マクロ言語は、特別にラベル付けされたコード領域 ( C プリプロセッサの場合は が前に付きます) に対してのみ動作するように制限される場合があります。 あるいは、制限されない場合もありますが、その場合でも、(たとえば)文字列リテラルに埋め込まれたマクロを展開することは望ましくないことが多いため、マクロ言語では依然として基本的な構文の知識が必要です。 そうであれば、マクロ言語は複数の言語に適用できる場合が多いです。PHPなどのソース埋め込み可能な言語は完全な機能を備えているのとは対照的です。

• cpp (C プリプロセッサ)
• m4 (元々は AT&T 製、Unix にバンドル)
• ML/I（汎用マクロプロセッサ）
• TTM（カリフォルニア工科大学で開発）

TclやECMAScript ( ActionScript、ECMAScript for XML、JavaScript、JScript )などのスクリプト言語がアプリケーションに埋め込まれています。これらは「マクロ言語」と呼ばれることもありますが、 m4などのテキスト置換マクロとは意味が多少異なります。

メタプログラミングとは、自分自身を含む他のプログラムをデータとして書き込んだり操作したりするプログラム、または実行時に行われる作業の一部をコンパイル時に行うプログラムの作成です。多くの場合、これにより、プログラマーはすべてのコードを手動で記述する場合と同じ時間で、より多くの作業を行うことができます。

マルチパラダイム言語は、複数のプログラミング パラダイムをサポートします。これにより、プログラムで複数のプログラミングスタイルを使用できます。目標は、1 つのパラダイムではすべての問題を最も簡単かつ効率的に解決できないことを認め、プログラマーが仕事に最適なツールを使用できるようにすることです。

CやPythonなどのいくつかの汎用プログラミング言語も技術計算に使用されますが、このリストでは、ほぼ技術計算専用に使用される言語に焦点を当てています。

• 中国語BASIC（中国語）
• フィヨルニル（アイスランド語）
• 言語 Symbolique d'Enseignement (フランス語)
• ラピラ（ロシア語）
• エジル（タミル語）

クラスベースのオブジェクト指向プログラミング言語は、クラスによって定義されたオブジェクトをサポートします。クラス定義にはメンバー データが含まれます。メッセージ パッシングは、オブジェクト指向言語の主要な概念ではないにしても、重要な概念です。

一部の引数のクラスによってパラメータ化された多態的関数は、通常、メソッドと呼ばれます。単一ディスパッチの言語では、クラスには通常、メソッド定義も含まれます。多重ディスパッチの言語では、メソッドはジェネリック関数によって定義されます。単一ディスパッチメソッドがジェネリック関数である例外もあります(例: Biglooのオブジェクト システム)。

プロトタイプベースの言語は、クラスとインスタンスの区別がなくなったオブジェクト指向言語です。

オフサイドルール言語では、インデントによってコードブロックを表します。

手続き型プログラミング言語は、実行可能なコード ステートメントのユニットとスコープ (データ表示範囲) の概念に基づいています。手続き型プログラムは、ユーザーがコーディングするか、コード ライブラリで提供される 1 つ以上のユニットまたはモジュールで構成されます。各モジュールは、言語に応じて関数、ルーチン、サブルーチン、またはメソッドとも呼ばれる 1 つ以上のプロシージャで構成されます。手続き型言語の例には、次のものがあります。

リフレクション プログラミング言語を使用すると、プログラムは実行時またはコンパイル時に高レベルの構造を調べ、場合によっては変更できます。これは、Smalltalkなどの高レベルの仮想マシン プログラミング言語で最も一般的ですが、 Cなどの低レベルのプログラミング言語ではあまり一般的ではありません。リフレクションをサポートする言語とプラットフォーム:

ルールベースの言語は、データセット内の条件によってアクティブ化されたときにルールをインスタンス化します。すべての可能なアクティブ化のうち、いくつかのセットが選択され、それらのルールに属するステートメントが実行されます。ルールベースの言語には次のものがあります。^{[引用が必要]}

スタックベース言語は、スタックデータ構造に基づいたデータ構造化言語の一種です。

同期プログラミング言語は、頻繁に中断され、迅速に応答する必要があるリアクティブ システムのプログラミングに最適化されています。このようなシステムの多くは、リアルタイム システムとも呼ばれ、組み込みシステムでよく使用されます。

例:

• アルゴス
• アヴェレスト
• エステレル
• 光沢
• 信号
• Céu（プログラミング言語）

シェーディング言語は、シェーダー効果のプログラミングに適したグラフィックス プログラミング言語です。このような言語形式は通常、「カラー」や「法線」などの特殊なデータ型で構成されます。3D コンピュータ グラフィックスのターゲット市場は多岐にわたります。

これらは、変換とシェーディングの方程式をハードコードしていた以前のパラダイムよりも、高度なハードウェア抽象化とより柔軟なプログラミング モデルの両方を提供します。これにより、プログラマーはレンダリング プロセスをより細かく制御でき、より低いオーバーヘッドでより豊富なコンテンツを提供できます。

オフライン レンダリングで使用されるシェーディング言語は、最高の画像品質を生み出します。このようなシェーダーの処理には時間がかかります。フォトリアリスティックな結果を生み出す能力があるため、必要な計算能力は高価になる可能性があります。

これらの言語は、文脈自由文法の字句解析器とパーサーの生成を支援します。

• ANTLR
• Coco/R (セマンティクス付き EBNF)
• GNU bison (FSF の Yacc バージョン)
• GNU Flex (Lex の FSF バージョン)
• lex (語彙解析、ベル研究所)
• M4
• 構文解析式文法(PEG)
• プロローグ
• エマックスリスプ
• リスプ
• 楽^[32]
• セーブルCC
• スキーム
• yacc (ベル研究所のもう一つのコンパイラ コンパイラ)
• JavaCC

システム プログラミング言語は、メモリ管理やタスク管理などの低レベルのタスク用です。システム プログラミング言語は通常、システム プログラミングに使用されるプログラミング言語を指します。このような言語は、通常、アプリケーション ソフトウェアとは異なる開発アプローチを必要とするシステム ソフトウェアの作成用に設計されています。

システム ソフトウェアは、コンピュータ ハードウェアを操作および制御し、アプリケーション ソフトウェアを実行するためのプラットフォームを提供するように設計されたコンピュータ ソフトウェアです。システム ソフトウェアには、オペレーティング システム、ユーティリティ ソフトウェア、デバイス ドライバー、コンパイラ、リンカーなどのソフトウェア カテゴリが含まれます。システム言語の例には、次のものがあります。

変換言語は、特定の形式言語で指定されたソース コードを、定義された宛先形式コードに変換 (翻訳) する目的で使用されます。これは、内部結果を後続の処理ルーチンへの入力として採用するために、より複雑なスーパー システムの中間コンポーネントで最もよく使用されます。

ビジュアル プログラミング言語を使用すると、ユーザーはさまざまな種類のグラフィック レイアウトを使用して、1 次元のテキスト文字列ではなく 2 次元 (またはそれ以上) でプログラムを指定できます。一部のデータフロー プログラミング言語もビジュアル言語です。

コンピュータ科学者のNiklaus Wirth は、いくつかの影響力のある言語を設計し、実装しました。

これらは XML に基づく言語、またはXML上で動作する言語です。

• プログラミングパラダイム
• IEC 61131-3 –プログラマブルロジックコントローラ（PLC）言語の標準
• 教育用プログラミング言語のリスト
• マークアップ言語のリスト
• 難解なプログラミング言語