常見的計算機設計高級語言有具體如下可供參考：
壹、命令式語言
1、這種語言的語義基礎是模擬“數據存儲/數據操作”的圖靈機可計算模型，十分符合現代計算機體系結構的自然實現方式。其中產生操作的主要途徑是依賴語句或命令產生的副作用。
2、現代流行的大多數語言都是這壹類型，比如Fortran、Pascal、Cobol、C、Basic、Ada、C#等，各種腳本語言也被看作是此種類型。
二、應用式語言
應用式語言註重程序所表示的功能，而不是壹個語句接壹個語句地執行。這種語言的語義基礎是基於數學函數概念的值映射的λ算子可計算模型，它非常適合於進行人工智能等工作的計算。典型的應用式語言有：Lisp、Haskell、ML、Scheme、F#等。
三、邏輯式語言
邏輯式語言是指基於規則的語言，即檢查壹定的條件，當它滿足值，則執行適當的動作。也就是說，邏輯式語言的語義基礎是基於壹組已知規則的形式邏輯系統。這種語言主要用在專家系統的實現中，非常知名的邏輯式語言是Prolog。
四、面向對象語言
現代語言中的大多數都提供面向對象的支持，但有些語言是直接建立在面向對象基本模型上的，語言的語法形式的語義就是基本對象操作。雖然，C++和Java也屬於面向對象語言，但主要的純面向對象語言是Smalltalk。
五、特點
高級程序設計語言的特點是數據結構豐富。高級語言符合人的思維，可讀性很強，提供了豐富的數據結構和控制結構，提高了問題的表達能力，降低了程序的復雜性，具有良好的可移植性。