例えば、Haskellにも絶対に変えられない評価順は存在する。
全てが全て、ラムダ計算のβ-簡約のように、評価順が
全く自由というわけではない。