問題タブ [ocaml-lwt]

なぜ Lwt print 関数Lwt_io.printに type が あるのか​​混乱していますが、string -> unit Lwt.t 実行Lwt_io.print "a" >>= fun () -> Lwt_io.print "b";;すると "ab" が出力され、type unit が返されます。

Lwt_io.print は unit ではなく unit Lwt.t を返すため、これは型エラーになると思います。スレッドの 2 番目の部分が呼び出されるのはなぜですか?

ファイルの内容を監視するコードを書いています。プログラムがファイルの最後に到達したら、きれいに終了させたいです。

ただし、ファイルを読み取って最後に到達すると、プログラムは終了せず、ハングするだけで、Ctrl + c でエスケープする必要があります。bind の内部で何が起こっているのかはわかりませんが、それが何をしていても、最終的Lwt_io.readline icにはファイルの最後にEnd_of_file到達して例外を返す必要があると考えました。これはおそらくハンドラーなどに渡されます。

解決策を推測する必要がある場合は、定義の最後のバインドにチェック>>=を含めると思います。しかし、 が返されたifかどうかを確認していると思いますが、これは.Lwt_io.read_lineEnd_of_filehandler