程序库（Library）是指 一组相关的程序模块（如函数、类、接口等）的集合，这些程序模块可以被其他程序调用和复用。程序库使得程序员可以复用之前编写的代码，从而减少重复的开发工作，提高开发效率和减少出错可能性。程序库通常被称为“库”，可分为动态链接库（DLL）和静态链接库（LIB）。
静态链接库：把程序库的代码编译进主程序中，因此程序库体积很大，但运行速度比较快。
动态链接库：在程序运行时，由操作系统根据应用程序的请求，动态加载到内存中，不需要在主程序中包含库文件，因此可以实现代码的共享和多个应用程序之间的隔离。
程序库可以包含各种类型的程序模块，例如：
标准子程序，如三角函数、反三角函数、对数和指数函数、开平方和开立方函数等。
标准程序，实现一些常用的计算方法，如解常微分方程、偏微分方程、数值积分、解代数方程式等。
服务性程序，如复制卡片、磁带、磁盘及调试用的各种程序等。
通过使用程序库，开发者可以更高效地构建应用程序，并且可以利用现有的、经过测试的代码，减少开发时间和潜在的错误。