将ref设置为绑定线程链中Lwt_io.read_line的结果

Question

我正在创建一个聊天服务器，我有一个处理登录的功能。存在称为nick的预设ref和预设输入流imp。我的代码如下：

let handle_login nr (inp,outp) = 
Lwt_io.printl "<Enter your 'nick'name>" >>= Lwt.return(nick := (Lwt_io.read_line inp))

但是，这段代码给了我错误：

Error: This expression has type string Lwt.t
       but an expression was expected of type string.

我知道以下代码确实有效：

let handle_login nr (inp,outp) = 
Lwt_io.printl "<Enter your 'nick'name>" >>= Lwt.return(nick := "Jane")

简而言之，我不知道如何将vars分配给从线程获得的值。

Answer 1

我对Lwt不太熟悉，但如果它像任何其他monad一样工作，我认为这应该有效：

let handle_login nr (inp, outp) = 
  Lwt_io.printl "<Enter your 'nick'name>"
  >>= fun () -> Lwt_io.read_line inp
  >>= fun str -> Lwt.return (nick := str)

但我必须指出，从异步代码中改变共享状态是一场等待发生的灾难。你可以做到这一点当然不代表你应该这样做。