Taking OCaml and Eio for a Spin
3 days ago
- 作者选择学习OCaml，是因为它最近在多核支持、效果以及Jane Street的OxCaml分支中复兴，重点关注Eio并发框架。
- 他们从《Real World OCaml》(RWO)开始学习，但发现缺少练习，于是转向CS3110，后者提供了更好的实践，之后又回到RWO学习高级主题。
- OCaml结合了函数式编程和命令式编程，支持命名参数，但语法有时较为冗长（例如let..in、match..with），并且编译器在遇到第一个错误时停止，导致迭代变慢。
- Eio是一个基于效果的I/O库，具有io_uring和确定性并发等特性，适合实现Raft共识算法。
- 作者使用Eio流、缓冲读写器、流、承诺和纤程实现了一个简单的RPC协议，以安全地处理并发请求。
- 客户端使用写入队列和承诺来管理并发调用，服务器通过循环读取和响应过程调用来处理连接。
- 总的来说，OCaml有趣且易于使用，但用户基数较小，导致难以找到代码示例和最佳实践。