>>886 に自己レス
調べたら遅延評価だった。Haskellみたいなもんだね。