程序形式主要可以分为以下几种：
命令式编程：
这是最常见的编程形式，也是最传统的形式之一。在命令式编程中，程序被视为一系列指令的集合，这些指令按照顺序被执行。开发者需要明确地指定程序的每一步操作，并且需要控制程序的状态和数据的变化。常见的命令式编程语言包括C、C++、Java等。
声明式编程：
这是一种更加抽象的编程形式。在声明式编程中，开发者只需要描述要实现的目标，而不需要具体的实现步骤。声明式编程主要分为两种形式：
函数式编程：强调使用纯函数（pure function）进行计算，避免使用可变状态和副作用。开发者通过将函数组合以实现复杂的逻辑。
逻辑式编程：基于逻辑推理和规则匹配，通过写出一系列规则和事实来描述问题，并让计算机根据这些规则和事实进行推理和求解。常见的逻辑式编程语言包括Prolog和Datalog等。
面向对象编程：
这是一种以对象为中心的编程形式。在面向对象编程中，程序被组织成对象的集合，每个对象都包含数据和操作这些数据的方法。面向对象编程的主要特点包括封装、继承和多态。
过程式编程：
这是一种基于过程的编程方法，强调程序的执行过程。程序由一系列过程或函数组成，每个过程或函数执行特定的任务，并可能与其他过程或函数进行交互。
脚本语言：
这些语言通常用于编写简短的程序，强调易读性和快速开发。脚本语言通常具有较少的语法规则，适合快速编写和测试代码。常见的脚本语言包括Python、JavaScript、Ruby等。
模板编程：
这是一种基于模板的编程方法，常用于生成代码或文档。模板编程通过使用预定义的模板和变量来生成代码，可以大大提高开发效率。
并发编程：
这是一种编程范式，允许多个任务同时执行。并发编程通过使用多线程、多进程或异步I/O等技术来实现，可以提高程序的性能和响应能力。
函数式编程：
这是一种编程范式，强调使用函数进行计算，避免使用可变状态和副作用。函数式编程通过将计算过程看作是数学函数的求值，可以简化程序的复杂性和提高可维护性。
这些编程形式各有优缺点，选择合适的编程形式取决于具体的应用场景和开发需求。在实际开发中，开发者可能需要结合多种编程形式来构建高效、可维护的程序。