在计算机科学中，静态库（），或称静态函式库，是一个外部函式与变数的集合体。静态函式库的档案内容，通常包含一堆程式设计师自定的变数与函式，其内容不像动态连结库那么复杂，在编译期间由编译器与链接器将它整合至应用程式内，并制作成目的档以及可以独立运作的执行档。而这个执行档与编译执行档的程序，都是一种程式的静态建立（static build）。以过去的观点来说，函式库只能算是静态（static）类型。
与动态链接库的比较.
优点.只需保证在开发者的计算机有正确的库文件