Functional programming
関数型言語の表示的意味論の実例を次節に示す。