OCaml + Dream
Dream，用于 OCaml Web 应用。
后端复杂
技术栈组成
LanguageOCaml 5.2
FrameworkDream 1
DBcaqti
DBPostgreSQL 16
为什么
类型安全、函数式、Lwt 异步。Node.js、Go 和 Python 是前三大后端语言（Stack Overflow 2024）。
Go 的 goroutine 每进程处理 10 万以上并发连接；Node 事件循环擅长 I/O 密集型工作负载。
何时使用
用于 OCaml Web 应用。非 OCaml 团队避免。
如何做
1. opam install dream
2. 定义路由
3. 运行 server
4. dune exec app
5. 添加环境配置 — cp .env.example .env && 编辑值
6. 运行测试 — npm test 或 pnpm test 验证设置
7. 部署 — git push 触发 CI/CD 或手动部署
示例
let () = Dream.run ~interface:'0.0.0.0' ~port:8080
@@ Dream.logger @@ Dream.router [
Dream.get '/users' (fun _ -> Dream.json users),
]
// OCaml + Dream — 使用示例
import { OCamlDream } from "ocaml-dream";
const result = await ocamldream({ input: "data" });
console.log(result);
常见问题
- ⚠Lwt 异步 — I/O 用 Lwt_unix
- ⚠模板 — 用 Dream.syntax
- ⚠环境间配置漂移 — 使用基础设施即代码（Terraform/Pulumi）保持 dev/staging/prod 一致
最佳实践
- ✓DB 用 Dream.sql
- ✓利用 OCaml 类型系统
- ✓设置健康检查和优雅关闭 — 处理 SIGTERM 以在退出前排空进行中的请求
常见问题解答
什么是OCaml + Dream？适合做什么项目？
Dream，用于 OCaml Web 应用。 它通过分层组合提供端到端类型安全与开箱即用的部署体验，适合从 MVP 到生产 SaaS 的快速迭代。
如何用OCaml + Dream在 10 分钟内跑通一个 demo？
两步起步：① opam install dream；② 定义路由。先跑通本地 dev server，再接一个真实数据源验证端到端链路。
OCaml + Dream 最常见的坑是什么？怎么避免？
最高频的坑是：Lwt 异步 — I/O 用 Lwt_unix。避免方法：在 PR 模板里加入对应 checklist，CI 中跑类型检查 + lint + 单测，三重把关再合并。
OCaml + Dream 的最佳实践有哪些？
OCaml + Dream 的最佳实践包括：DB 用 Dream.sql；利用 OCaml 类型系统；设置健康检查和优雅关闭 — 处理 SIGTERM 以在退出前排空进行中的请求。其中首条「DB 用 Dream.sql」应在项目初始化时就落地，避免后期返工。
什么情况下不该选OCaml + Dream？
三种情况另选他栈：① 团队对该栈核心框架零经验且工期紧张（学习曲线风险）；② 项目是纯内容/营销站（选 Astro 更轻）；③ 需要极高吞吐（>1 万 RPS）或强一致微服务（选 Go/Rust）。OCaml + Dream 的强项是中高复杂度全栈与 API，别在简单静态页上过度工程。