レス、ありがとうございます。
大堀先生の本でも同様に定義されていて、
以下ｐ１０４より引用
datatype 'a inflist = NIL|CONS of 'a * (unit -> 'a inflist)
引用終わり
本を読んで、SMLでも無限リストが使えるのか、こいつはすごいと思ったものの
意味がよくわからずに深く読んでいませんでした。正格言語では無限リストの表現
は難しくなってしまうのでしょうか。「関数プログラミング」バード＆ワドラーでは
では簡潔な表記になっているのですが。