用来撰写程式的语言。程式设计师用程式语言将资料处理的过程，用人类可以理解的方式表达出来，经过编译器、组译器、或是解译器转换为机器语言，再由计算机执行。程式语言可分为两大类：低阶的组合语言和高阶语言。组合语言通常随中央处理单元型式而有不同，程式中的每一道叙述通常转换为一个机器指令。高阶语言则可用在不同的系统上，程式中的每一道叙述通常转换为一个以上机器指令。
现在常见的商用程式语言有BASIC、COBOL、dBASE和Pascal，FORTRAN和APL则用于科学研究，发展商业软体则常用C，Prolog和LISP用于人工智慧研究。近来物件导向程式设计日渐流行，使得C++大受欢迎。