程序设计语言分为机器语言、汇编语言、高级语言、非过程化语言四种类型。具体如下：1、机器语言机器语言是由二进制0、1代码指令构成，不同的CPU具有不同的指令系统。机器语言程序难编写、难修改、难维护，需要用户直接对存储空间进行分配，编程效率极低。这种语言已经被渐渐淘汰了。2、汇编语言汇编语言指令是机器指令的符号化，与机器指令存在着直接的对应关系。汇编语言可直接访问系统接口，汇编程序翻译成的机器语言程序的效率高。从软件工程角度来看，只有在高级语言不能满足设计要求，或不具备支持某种特定功能的技术性能时，汇编语言才被使用。3、高级语言高级语言是面向用户的、基本上独立于计算机种类和结构的语言。高级语言种类繁多，可以从应用特点和对客观系统的描述两个方面对其进一步分类。从应用角度分类，可分为基础语言、结构化语言和专用语言。基础语言包括FORTRAN、COBOL、BASIC等；结构化语言包括PASCAL、C、Ada语言；专用语言是为某种特殊应用而专门设计，通常有特殊语法形式。包括APL语言、Forth语言、LISP语言。从客观系统描述分类，可分为面向过程语言和面向对象语言。面向过程语言以“数据结构+算法”程序设计范式构成；面向对象语言以“对象+消息”程序设计范式构成，如VisualBasic、Java、C++等。4、非过程化语言编码时只需说明“做什么”，不需描述算法细节。用户可以用数据库查询语言(SQL)对数据库中的信息进行复杂的操作。具有缩短应用开发过程、降低维护代价、最大限度地减少调试过程中出现的问题以及对用户友好等优点。扩展资料：程序设计语言的发展趋势是模块化、简明性和形式化。1、模块化。不仅语言具有模块成分，程序由模块组成，而且语言本身的结构也是模块化的。2、简明性。涉及的基本概念不多，成分简单，结构清晰，易学易用。3、形式化。发展合适的形式体系，以描述语言的语法、语义、语用。参考资料来源：百度百科-程序设计语言