OCaml 与 Eio：函数式编程新体验

Taking OCaml and Eio for a Spin

我一直对函数式编程感兴趣，但 Haskell 的复杂性让我却步。最近 OCaml 迎来了复兴，多核支持、effects 以及 Jane Street 推出的 OxCaml 让它更具吸引力。我决定尝试 OCaml 和 Eio 并发框架，目标是实现 Raft 共识算法。学习过程中，我发现 Real World OCaml 内容扎实但缺乏练习，而 CS3110 课程更适合作为入门。OCaml 的语法虽然略显啰嗦，但混合了函数式和命令式编程，体验很愉悦。Eio 基于 effects 的 IO 并发模型让我印象深刻，它支持 io_uring，且具备确定性，非常适合测试。通过构建一个简单的 RPC 服务器和客户端，我深入理解了 Fiber、Switch、Flow 等核心概念，并成功实现了并发安全的数据传输。