程序通常基于以下几种结构的语言：
顺序结构语言：
这种语言按照代码从上到下的顺序执行，语句一次执行一条。C语言和Pascal语言是这种类型的典型代表。
选择结构语言：
这种语言根据条件的真假来确定程序执行的路径。常见的选择结构语言包括C语言和Pascal语言。
循环结构语言：
这种语言通过循环结构来重复执行一段代码，直到满足特定条件。C语言和Pascal语言也支持循环结构。
面向过程语言：
这种语言强调算法和流程控制，程序由一系列的过程或函数组成。C语言、Fortran和Pascal是过程式语言的典型例子。
面向对象语言：
这种语言将程序分解为一系列对象的集合，通过对象之间的交互来完成任务。Java、C++和Python是面向对象语言的常见代表。
函数式语言：
这种语言将计算看作是函数之间的转换，程序由一系列的函数调用和函数组合构成。函数式语言的特点是强调不可变数据和纯函数。
综上所述，程序可以基于多种结构的语言进行编写，包括顺序结构、选择结构、循环结构、面向过程、面向对象和函数式等。这些不同的结构类型提供了不同的编程范式和工具，以适应不同的开发需求。