正格

正格

(strict)

関数が簡約される前に引数が評価される言語。

引数の式が「停止しない式」なら必ず関数も「停止しない式」になる。

つまり_|_(ボトム)が「停止しない式」だとすると

f(_|_)= _|_