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