程序语言类型可以按照不同的标准和特点进行概括：
机器语言
机器语言是计算机能够直接执行的二进制代码，由一系列的0和1组成。这种语言非常底层，并且与特定的计算机硬件结构相关。机器语言编写非常繁琐，需要直接操作计算机的底层硬件。
汇编语言
汇编语言使用助记符（符号）来代表机器语言的指令，但仍然与底层的硬件相关。通过汇编器可以将汇编语言翻译成机器语言。汇编语言相对于机器语言更易读、易编写，但仍需通过汇编器转换。
高级语言
高级语言是相对于机器语言和汇编语言而言的，它更贴近人类语言。高级语言使用更易读写的语法和结构，并且提供了许多方便的功能和库。高级语言需要通过编译器或解释器将其转换为机器语言，才能在计算机上执行。常见的高级语言包括C、C++、Java、Python、JavaScript等。
脚本语言
脚本语言是一种特殊的高级语言，通常用于解释运行，而不是通过编译器进行编译。脚本语言可以在运行时逐行解释和执行代码，无需进行显式的编译过程。常见的脚本语言包括JavaScript、Python、PHP等。
领域特定语言（DSL）
领域特定语言是专门为一类特定问题或领域设计的编程语言。它们通常有较为简洁和专业的语法，使得解决特定问题更加高效。例如，SQL用于数据库操作，Prolog用于人工智能等。
编译型语言
编译型语言是指在应用源程序执行之前，就将程序源代码“翻译”成目标代码（机器语言）。这种语言的优点是运行速度快，但开发效率低，且不能跨平台。例如，C和C++。
解释型语言
解释型语言的实现中，翻译器并不产生目标机器代码，而是产生易于执行的中间代码。这种中间代码的解释是由软件支持的，不能直接使用硬件。解释型语言的优点是开发效率高，可以跨平台，但运行速度慢。例如，Python和PHP。
混合型语言
混合型语言结合了编译型和解释型的特性。例如，Java和C既可以使用编译器编译成字节码，也可以使用虚拟机进行解释执行。
这些类型概括了编程语言的多样性，每种语言都有其特定的应用场景和优缺点。选择合适的编程语言可以提高开发效率和程序的性能。