遅延関数

declare
fun lazy {Ints N}
   N|{Ints N+1}
end

L = {Ints 0}
{Browse L}

L


あれ?こうなるはずなんだけど・・・

L


Mozartの設定かなー・・・


Browse > Options > Representation... > Detail > Variable Status
にチェック入れたら↓になった

L


うーむ・・・

とりあえず先に進もう