SMLで無限リストが扱えないものでしょうか。
（大堀先生の本でもちょっと解説されていましたが）
以前、武市先生の関数プログラミングの本でラマヌジャン数を求める
MirandaかHaskellのコードが書かれた本があって気にかかっていました。