問題タブ [lwt]

utopを呼び出しrequire "lwt.simple-top" ;;て簡単な例を試してみましたが、 operator が見つかりません>>=。

私の人生では、lwt スレッドのキャンセルを処理する方法を見つけることはできません。

これが私が持っているもので、単純化されています。

キャンセルされた例外をキャッチしようとする私の試みがいくつか見られますが、どれもうまくいきません。私の出力は

より壮大なスキームではunit Lwt.t list ref、 で作成された があり、リストで実行してから、タイプの新しいスレッドに置き換えるLwt.task予定ですList.iter Lwt.cancelunit Lwt.t

Lwt_unix読み取るものがなくなるまでソケット内のデータを読み取る単純なクライアント用のモジュールを試してみたかったのです。ブロックしていないソケットを作成すると言う人もいLwtますが、私のコードではまだブロックしています:

この例を用語で試してみると：

結果は次のとおりです。

Ctrl+を押すまでブロックしcます。

私は両方を試しました：

と

もちろん、この行はありませんが、まだブロックされています。私は何を間違っていますか？

詳細については、私の以前の質問の 1 つ: OCaml ノンブロッキング クライアント ソケット

私は Lwt 2.7.0 でこのコードを書きました:

そして、このエラーが発生しました（最後の行、つまり sock）：

そうsockです、タイプは ですLwt_unix.file_descr。なぜコンパイラはこのプログラムをスローして、タイプを強制するの'a Lwt.tでしょうか? （見つかったタイプを尋ねると、タイプであることがわかりcreate_socketますunit -> '_a）

PS : Daniil Baturin に感謝します : http://baturin.org/code/lwt-counter-server/