純粋関数

一つの入力は一つの出力しか返さない

数学的な意味の関数

従来のプログラミング言語の関数での意味

サブルーチン

入力に対し出力が一意に定まらない