编译型程序语言是指使用专门的编译器，针对特定平台将某种高级语言源代码一次性翻译成机器码，并生成可执行文件的语言。这些程序在执行前不需要重新翻译，可以直接在特定平台上运行，因此运行效率较高。
编译型语言的特点包括：
一次性编译：
源代码在程序运行之前被编译成机器码，生成可执行文件。
平台依赖性：
不同的操作系统通常需要不同的编译器来编译和运行程序。
运行效率高：
由于编译过程只需要进行一次，程序在运行时不需要再次翻译，因此运行效率较高。
独立运行：
编译生成的可执行文件可以脱离开发环境，在特定的平台上独立运行。
常见的编译型语言包括C、C++、Delphi等。