Spindle：给 OCaml 5 做一个类型驱动的 Web 框架
来源：github.com — 2026-11-08
📋 概述
Show HN：Spindle 是为 OCaml 5 设计的、类型驱动的 Web 框架。你只写类型化的 API，编解码、请求校验、OpenAPI 文档和前端 schema（Zod、Melange）全部由类型推导，服务端与客户端的契约不会再对不上。
🔑 核心要点
- 按多核设计，基于 Eio 的 effect-based IO，自带符合 RFC 的 HTTP 服务器。
- 从同一份类型推导 OpenAPI 规格与前端 Zod/Melange schema，避免维护两套定义。
- 讨论里有人建议静态文件服务改用 Eio.Path.open_subtree，借 Linux fd 沙箱防止符号链接逃逸。
- 也有评论要求给出真实上线案例，认为现在的站点「像刚生成出来的」，不足以判断成熟度。
- 仓库目前只有几十颗星，属于早期项目，但 API 设计思路得到讨论认可。
💡 金句
Its central idea is to provide an expressive, type-driven API and derive the rest.
— HN 讨论
👍 0
👎 0
← 返回 Hacker News 首页