)高级语言
摘要：
由于汇编语言依赖于硬件体系，且助记符量大难记，于是人们又发明了更加易用的所谓高级语言。在这种语言下，其语法和结构更类似普通英文，且由于远离对硬件的直接操作，使得一般人经过学习之后都可以编程。高级语言通常按其基本类型、代系、实现方式、应用范围等分类。当计算机语言发展到第三代时，就进入了“面向人类”的语言阶段。第三代语言也被人们称之为“高级语言”。高级语言是一种接近于人们使用习惯的程序设计语言。它允许用英文写解题的计算程序，程序中所使用的运算符号和运算式子，都和我们日常用的数学式子差不多。高级语言容易学习，通用性强，书写出的程序比较短，便于推广和交流，是很理想的一种程序设计语言。高级语言发展于50年代中叶到70年代，有些流行的高级语言已经被大多数计算机厂家采用，固化在计算机的内存里。如 BASIC语言，现在已有128种不同的 BASIC语言在流行，当然其基本特征是相同的。除了BASIC语言外，还有FORTRAN（公式翻译）语言、 COBOL（通用商业语言）、 C语言、 DL/I语言、 PASCAC语言、ADA语言等250多种高级语言。
提问 编辑摘要1.命令式语言。这种语言的语义基础是模拟“数据存储/数据操作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。其中产生操作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如 Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C# 等，各种脚本语言也被看作是此种类型。
2.函数式语言。这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型。这种语言非常适合于进行人工智能等工作的计算。典型的函数式语言如 Lisp、Haskell、ML、Scheme 等。
3.逻辑式语言。这种语言的语义基础是基于一组已知规则的形式逻辑系统。这种语言主要用在专家系统的实现中。最著名的逻辑式语言是 Prolog。
4.面向对象语言。现代语言中的大多数都提供面向对象的支持，但有些语言是直接建立在面向对象基本模型上的，语言的语法形式的语义就是基本对象操作。主要的纯面向对象语言是 Smalltalk。
虽然各种语言属于不同的类型，但它们各自都不同程度地对其他类型的运算模式有所支持。
