程序可以使用多种语言编译，具体取决于程序的类型和开发者的需求。以下是一些常见的编译型语言：
C语言：
C语言是一种通用编程语言，广泛应用于系统软件、操作系统和应用程序的开发。C语言程序需要经过编译器编译成机器语言后，才能在计算机上执行。
C++：
C++是C语言的扩展，增加了面向对象编程的特性。C++程序同样需要经过编译器编译成机器语言后执行。
Java：
Java是一种面向对象的编程语言，其源代码需要先编译成字节码，然后在Java虚拟机（JVM）上运行。虽然Java程序不是直接编译成机器语言，但它需要通过编译过程转换为字节码，因此也可以看作是编译型语言。
FORTRAN：
FORTRAN是一种高级编程语言，主要用于科学计算。FORTRAN程序需要经过编译器编译成机器语言后执行。
PASCAL：
PASCAL是一种结构程序设计语言，常用于教学和科学研究。PASCAL程序也需要经过编译器编译成机器语言后执行。
COBOL：
COBOL是一种面向商业处理的编程语言，其程序需要经过编译器编译成机器语言后执行。
BASIC：
BASIC是一种初学者友好的高级编程语言，支持编译和解释两种方式。BASIC程序可以通过编译器编译成机器语言执行。
其他语言：
还有许多其他高级编程语言，如Python、JavaScript、Ruby等，这些语言通常通过解释器逐行解释执行，而不是编译成机器语言。不过，有些语言如Python可以通过工具将其源代码编译成字节码，然后在虚拟机上运行。
选择哪种编程语言取决于具体的应用场景、开发效率和目标平台等因素。