程序语言类型

“图灵完备”：所有主要的通用编程语言，都具有相同表现力；即，没有一种 语言可以写出其他语言不能表达的程序。不同的语言提供了不同的抽象机制和不同技术来支撑不同的解决方案。

 

语言范型：

类别 定义 实例 命令式 修改内存状态的语句序列 Fortran、汇编 过程式 通过过程（即一组语句）组织语言 C、Pascal、Cobol 面向对象式 通过对象组织程序 Smalltalk、Java、Ruby 函数式 通过无状态函数组织语言 Lisp，Scheme，Haskell 逻辑式 通过公里和推演规则表述期望结果的特征 Prolog，OPS5 声明式 描述解决方法而不是如何实现解决方法 XSLT，SQL，Prolog

 

类型特征：

类别 定义 实例 命令式 修改内存状态的语句序列 Fortran、汇编 过程式 通过过程（即一组语句）组织语言 C、Pascal、Cobol 面向对象式 通过对象组织程序 Smalltalk、Java、Ruby 函数式 通过无状态函数组织语言 Lisp，Scheme，Haskell 逻辑式 通过公里和推演规则表述期望结果的特征 Prolog，OPS5 声明式 描述解决方法而不是如何实现解决方法 XSLT，SQL，Prolog

 

语言特征：

语言 范型 类型系统 实现 [...]