Oz

遅延関数

Oz

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 うーむ・・・と…