フィボナッチ数列を含む無限リストを生成する必要があります。私はMLが初めてなので、これが正しいかどうかを確認したいと思います。
-datatype 'a infist=NIL
= | CONS of 'a * (unit -> 'a inflist);
- fun fib a b = CONS (a , fn()=> fib b (a+b));
val fib=fn: int->int-int inflist
これはジェネレータ関数と呼ばれるものですか？a と b の入力を与えると、実際の出力、つまり無限の fib シーケンスが得られますか?