子程序通常分为两类： 【3】 和函数，前者是命令的抽象，后者是为了求值。