后从中接收消息。 我们可以用 ST 提供更好的 奁奐 奉 ，它精确地解释了每个操作是如何影响连接的状态的。在本节中，我们 会定义一个插口 奁奐 奉 ，然后用它来实现一个「回显（奥 奣 奨 奯）」服务器，通过原样返回客户端发送的消息 来响应客户端的请求。 3. 5. 1 定 定 定义 义 义 Sockets 接 接 接口 口 口 我们不直接用 IO 进行底层插口编程，而是用 ST 实现一个接口来精确地描述每个操作如何影响插口的 ： ：网 网 网络 络 络 S oc k e t 编 编 编程 程 程 96 I d r i s 语 语 语言 言 言文 文 文档 档 档, 版 版 版本 本 本 1. 3. 1 现在来定义一个服务器。一旦我们创建了插口，就需要用 bind 方法将它绑定到一个端口上： bind : (sock : Var) -> (addr : Maybe SocketAddress) -> (port : Port) 也就是说，我们可以关闭 Open 状态的插口，告诉另一台机器终止通信。我们也可以关闭 Listening 状 态下等待传入连接的插口，这会让服务器停止接受请求。 在本节中，我们实现了一个服务器，不过为了完整性，我们还需要在另一台机器上实现客户端来连接到 服务器。这可以通过 connect 来完成： connect : (sock : Var) -> SocketAddress -> Port ->