编程程序的类型主要有以下几种：
编译型语言：
需要通过编译器将源代码转换为机器语言的语言。编译器将源代码转换为可执行文件，然后在计算机上运行。常见的编译型语言有C、C++、Java等。编译型语言的优点是运行速度快，因为代码已经被编译为机器语言，不需要再进行解释。但是编译型语言的缺点是开发周期相对较长，需要先编译再运行。
解释型语言：
通过解释器逐行解释并执行代码的语言。解释型语言的优点是开发周期短，可以直接运行，但运行速度相对较慢，因为每次运行都需要解释器逐行解释代码。
命令式编程：
一种以指令为主导的编程范式，程序员通过编写一条又一条的指令来告诉计算机如何执行任务。这种编程方式注重程序的控制流程，其中包括条件语句、循环语句等。常见的命令式编程语言有C、C++、Java等。
函数式编程：
一种编程范式，它将计算机程序看作是数学上的函数求值，并避免改变状态和使用可变数据。函数式编程强调函数的纯粹性和不可变性。
面向对象编程：
一种编程范式，它使用“对象”来设计软件。对象可以包含数据（通常称为属性或字段）和代码（通常称为方法或函数）。面向对象编程强调封装、继承和多态。
应用程序：
为了满足特定用户需求而开发的程序，通常用于执行各种任务，如办公软件、游戏、图像处理软件等。应用程序可以运行在不同的平台上，如计算机、手机、平板等。
系统程序：
为了管理和控制计算机硬件和软件资源而开发的程序，通常用于操作系统、编译器、驱动程序等。系统程序通常需要更高级的编程知识和技术。
脚本程序：
一种简化编程过程的程序，通常由一系列命令组成，可以自动执行一些常见的任务。脚本程序常用于批处理、自动化任务、网页开发等领域。
网络程序：
用于在计算机网络上进行通信和数据交换的程序，可以实现各种功能，如网页浏览器、邮件客户端、即时通讯软件等。
嵌入式程序：
嵌入到硬件设备中的程序，通常用于控制和管理嵌入式系统，如智能家居设备、汽车电子系统、工业自动化等。
并发程序：
一种编程技术，用于同时执行多个任务或线程，以提高程序的执行效率。
数据库编程：
用于管理和操作数据库的编程类型，涉及到数据的存储、检索、更新和删除等操作。
这些编程类型各有其特点和适用场景，程序员可以根据具体需求选择合适的编程类型和语言来进行软件开发。