【注音】：zǐ chéng xù

在 计算机科学中， 子程序（ 英语：Subroutine, procedure, function, routine, method, subprogram, callable unit），是一个大型程序中的某部份代码，由一个或多个语句块组成。它负责完成某项特定任务，而且相较于其他代码，具备相对的独立性。

一般会有输入参数并有返回值，提供对过程的封装和细节的隐藏。这些代码通常被集成为 软件库。

函数在 面向过程的语言中已经出现。是结构（Struct）和 类（Class）的前身。本身就是对具有相关性语句的归类和对某过程的抽象。