如何在精益中使用套接字？
How to use sockets in Lean?
如何在 Lean 4 中创建 TCP 套接字并接受传入连接或连接到远程地址？换句话说，我如何在 Lean 4 中实现 TCP 服务器或客户端？
有一个基本但有效的套接字实现 API here，您可以将其与 Lean 4 和 Lake 一起使用。它还有两个示例来演示其用法。
您需要包装套接字类型和函数才能在 Lean 4 中使用它们。
Lean 4 仍处于早期阶段，甚至还没有稳定版本。现在精益的包很少，所以你不能指望像 Python 的 socket 或 Rust 的 std::net/mio.
这样的生产级包
但是如果你只是想尝试一下，你可以看看我的 lean4-socket 包，这是一个玩具实现。还有一些简单的例子，例如在 examples 文件夹中发送 HTTP 请求（基于 TCP）。
如何在 Lean 4 中创建 TCP 套接字并接受传入连接或连接到远程地址？换句话说，我如何在 Lean 4 中实现 TCP 服务器或客户端？
有一个基本但有效的套接字实现 API here，您可以将其与 Lean 4 和 Lake 一起使用。它还有两个示例来演示其用法。
您需要包装套接字类型和函数才能在 Lean 4 中使用它们。
Lean 4 仍处于早期阶段，甚至还没有稳定版本。现在精益的包很少，所以你不能指望像 Python 的 socket 或 Rust 的 std::net/mio.
但是如果你只是想尝试一下，你可以看看我的 lean4-socket 包，这是一个玩具实现。还有一些简单的例子，例如在 examples 文件夹中发送 HTTP 请求（基于 TCP）。