OCamlの無限リストの足し算

Question

前提・実現したいこと

ocamlで無限リストを二つ受け取って、その足し算結果の無限リストを返すコードを書きたいのですが、無限のリストにどのように繰り上がりなどの処理を施せばいいのかわかりません。例えば、(0.)2945295・・・・・と(0.)1204851・・・・・を受け取ったら、(0.)4150146・・・・の無限リストを返すようなコードを書きたいです。繰り上がりの処理に関するアイデアを教えていただきたいです。

試したこと

今の時点では、ただ桁を足したものが出てくるようなコードしかかけていません。（上の例だと、3,11,4,9,10,14,6・・・・・）

Answer 1

恐らく安定した方法は無いと思われます。(下記の処理だと0.444...と0.555...の場合などに無限ループします)

ある桁が繰り上がるか判断するには、次の処理をしたらいいのではないかと思います。

1. 下の桁の値同士を加算した結果を比較

2. その結果が10以上であれば繰り上がりありと判断

3. 8以下であれば繰り上がりなしと判断

4. 9の場合は更に下の桁で結果が変わるので、再帰的に下の桁に同じ処理を適用する