forは使えるのか？(2006/02/14)

最近インサイドUJMLの解説を書いていないが、「Control Flow」の中でifとwhileはサポートされているが、forとswitchはサポートされていないと書いてある。

ところが、forは使えるようだ。

うーん、ドキュメントに書いていない実装がいろいろありそうである。