| オブジェクト言語 |
| C++ – C# – D デルフィ – エッフェル – グルーヴィー Java – Lisaac – Python – Ruby シミュレーション – Smalltalk Visual Basic – W言語 |
| 命令型言語 |
| APL – ASP –アセンブラ BASIC – C – Cobol –ナチュラル フォース – Fortran – リンボ ロゴ – パスカル – Perl – PHP |
| 関数型言語 |
| Haskell – ML/OCaml Lisp/Common Lisp スキーム – XSLT |
| 宣言型言語 |
| クリップ –プロローグ |
| 競合言語 |
| Ada 95 – アーラン |
| こちらも参照 |
| デザイン –コーディング テスト – 最適化 |
コンピューターサイエンスにおける高級言語は、プログラマーがマシンの動作に固有の詳細を抽象化できるようにする プログラミング言語であり、これらはコンパイル時に考慮されます。これにより、より複雑な概念を操作できるようになりますが、これらの詳細の一部を管理できなくなります。
例: Java、Ada、PHP、Python…