程式語言是一種形式語言，具有一組提供所需輸出的指令。為了在機器上實現各種算法，我們開始使用程式語言。一組特定的指令用於可編程機器，而不是一般的程式語言。計算機程式語言用於與計算機通信。每一種程式語言都基於一定的句法和語義規則。
計算機使用數字表示。只有理解0或1的存在作為關閉或開啟。因此，為了與計算機通信，我們必須以二進位語言給出指令，但這幾乎是不可能的，所以我們需要程式語言來拯救我們。我們按照程式語言的一些一般語法規則用英語編寫了指令，然後通過某種過程將其轉化為機器代碼，並告訴計算機進行一些特定的操作。
日益增長的對計算能力和生產力的需求是發展更強大、更便宜和更快的商業機器、超級計算機和各種編程設備的關鍵因素，計算機的應用和類型多種多樣，每當出現需要特定程式語言來完成特定任務的時候。下面給出了所有類型程式語言的完整分類列表。
讓我們逐一理解這些程式語言。由於清單很大，所以不可能詳細討論所有這些。在這裡，我編寫了簡短的介紹，並舉例說明了所有這些不同的程式語言。
編譯語言：
編譯語言是一種程式語言，在這種語言中，我們使用編譯器編譯和執行代碼。編譯器通常是從我們編寫的原始碼生成機器級代碼的翻譯器。
例子：C，C++，C#，ALGOL，Cobol，Fortran，Java，VISUALBASIC，Smalltalk
解釋語言：
解釋語言是一種程式語言，它不需要將程序編譯成機器語言指令，就可以直接、自由地執行指令。解釋器逐行執行程序，一種語言比編譯後的實現提供了許多額外的靈活性，如平臺無關性、動態範圍劃分、動態類型等。
例子：Python，Ruby，Perl，Pascal，LISP，basic，APL。
腳本語言：
腳本語言是控制應用程式的程式語言。可以在任何其他應用程式上獨立執行的腳本。它們在它們控制的應用程式中得到了廣泛的應用，並在自動化中得到了廣泛的應用。
例子：PHP，VBScript，Windows PowerShell，F-Script，BeanShell，Autoit，R。
標記語言：
標記語言是一種人工語言，用於對文檔進行注釋，使其在語法上與文本(定義文本如何顯示)區分開來。
例子：HTML，XML，XHTML，SGML，Curl。
程序性語言：
程序性(命令式)編程意味著指定程序應採取的步驟，以達到預期的狀態。過程只不過是一組可以通過過程調用引用的指令。這有助於代碼的重用。這種類型的編程使程序的結構和易於跟蹤的程序流。
例子：Hyper Talk，Go，PL/C，Pl/I，MATLAB，Curl，MATLAB
函數式程式語言：
函數式程式語言將每一次計算定義為數學評估。一些函數式程式語言是純函數式語言，但許多所謂的函數式語言是不純的，包含命令式功能，不是純粹的函數式語言。
例子：AGDA，SAC，SASL，Cuneiform，Curry，Futhark，Haskell
基於邏輯的程式語言：
邏輯編程是一種以形式邏輯為基礎的程序設計範式。基於邏輯的程序設計是一組邏輯形式的句子，表達關於問題域的事實和規則。
例子：Prolog，Roop，ALF，Alam-0，Curry，Fril，Janus。
面向對象的語言：
面向對象編程(Object-OrientedProgramming，OOP)是一種基於「對象」(Objects)概念的高級編程範式，它可能包含以欄位形式(通常稱為屬性)形式的數據。在面向對象編程中，電腦程式將相關數據和函數綁定到一個對象中，並實現對象及其相關過程，以創建軟體程序。
例子：Scala，C++，Java，Python，C#，ruby