867でも書いてますが、
input : string -> int -> int -> int
ではなく、
input : int -> string
であった方が良かったのではないか、ということです。

速度の差を問題にされていますが、この両者の速度差は僅差ではないでしょう
か？　というか、 input に与える前に自分で文字列を使うか、 input の側で
文字列を作るか、という差でしかありません。実際の運用を考えると、 input
で読み込む前に文字列を作るのと、 input の側で生成された文字列を連結し
ていくという差があるため、あらかじめ巨大な文字列を作成しておけば前者の
方がそれなりに効率的になることは確かですが、最近のプロセッサではほとん
ど差はないだろうというのが私の意見です。

caml-list上での議論(やってる当時はちゃんと読んでなかった)を見直すと、
メソッド名をどうするかとか、文字ベースにするか文字列ベースにするか、と
いった議論が主で、上のような問題はあんまり議論されていない気がするなぁ……。