software-design

解析而非验证：在 Rust/Haskell/TypeScript 中提升类型安全与 API 健壮性的工程实践

对比解析与验证两种模式，分析其在强类型系统中如何减少运行时错误、消除冗余检查，并通过 Haskell 的 NonEmpty、Rust 的新类型、TypeScript 的标记类型与 Zod 库给出可落地的参数与清单。