解析而非验证:在 Rust/Haskell/TypeScript 中提升类型安全与 API 健壮性的工程实践
对比解析与验证两种模式,分析其在强类型系统中如何减少运行时错误、消除冗余检查,并通过 Haskell 的 NonEmpty、Rust 的新类型、TypeScript 的标记类型与 Zod 库给出可落地的参数与清单。
阅读全文 →
设计与美学
对比解析与验证两种模式,分析其在强类型系统中如何减少运行时错误、消除冗余检查,并通过 Haskell 的 NonEmpty、Rust 的新类型、TypeScript 的标记类型与 Zod 库给出可落地的参数与清单。