2026年体验OCaml和Eio学习实践全记录Raft实现待归来2026年7月15日博主开启了体验OCaml和Eio的旅程。博主在该网站的第一篇博客文章是关于Haskell的虽一直对函数式编程感兴趣但觉得Haskell的复杂性不值得深入研究。博主早就听说过OCaml却未尝试近期随着多核支持、效应系统引入以及Jane Street推出更注重系统编程的OxCamlOCaml迎来复兴此时学习正当时且博主对Eio并发框架也很好奇因其使用效应系统且具有确定性对测试有帮助。书籍与教程博主先在谷歌搜索后选择了《Real World OCaml》以为它和《Real World Haskell》类似且自己有函数式编程基础便跳过前言直接阅读。后来才发现这本书用Jane Street的Base标准库替代方案虽历史上OCaml标准库功能薄弱但现在已改善。博主吸取教训重读前半部分学习顺利但学到广义代数数据类型和一等模块时犯迷糊且觉得书里缺少练习。之后博主找到CS3110它有视频和文字还有练习适合不同学习风格的人。博主建议先学这门课程再学《Real World OCaml》掌握高级特性不过若希望找到像《Real World Haskell》那样基于项目的书可能会失望。实际编码感受总体而言用OCaml编写代码很愉快它融合了函数式编程和命令式编程。例如遍历列表时既可用递归函数也可用List.map及其相关函数若需要还能使用可变变量等。不过OCaml的语法有些冗长如let .. in、match .. with等结构但博主认为语法不是编程语言中有趣的部分有命名参数还是不错的。让博主困扰的是编译器它遇到错误就放弃处理文件其余部分使迭代开发过程变慢难以批量修复错误。EioEio是基于效应系统的IO并发库较新且有支持io_uring等有趣特性。博主的最终目标是实现Raft共识算法并测试。Raft论文提到用远程过程调用在服务器之间通信一个简单的RPC客户端/服务器是很好的入门项目。博主设计了简单协议过程调用包含请求ID、名称和参数整数用单字节表示字符串先以一个字节表示长度再是具体数据。响应只包含请求ID和返回的字符串值。在开始前需要熟悉Eio构建模块的术语Fiber是执行线程但非系统线程Switch用于将纤维分组类似Go语言中的sync.WaitGroupFlow是可读写对象Stream是有界、线程安全的队列类似Go语言中的通道Promise大家比较熟悉。服务器部分先从服务器开始要获取Flow并循环从中读取过程调用执行并发送响应。定义了保存连接的类型使用Buf_read或Buf_write类型进行缓冲读写以提高效率read_string/write_string函数来自Utils模块。还需要辅助函数获取缓冲流并运行循环以及测试可执行文件。测试结果不错。客户端部分对于客户端要确保安全并发使用通过两个纤维实现一个读取一个写入。写入纤维从流中获取任务调用方法时向流中添加任务。将响应返回给调用者的方法是在流中发送Promise并存储在哈希表中服务器响应后解决Promise。接收循环可读取响应并解决Promise还能在多个不同纤维中使用。总结总体来说学习和使用OCaml很有趣它有很多优点支持函数式和命令式编程是编译型语言且编译器速度快可选择使用异常或错误值等。但它的用户群体相对较小目前不太清楚最佳入门方式可供学习的代码也不多。对于用过Go语言的人来说Eio会很熟悉。博主使用时常遇到流被关闭的问题后来发现是该阻塞操作时启动了纤维。博主希望不久后能带着可用的Raft实现回归。