# 分类：software-design

> 该分类下的文章按时间倒序排列，便于按主题继续深挖。

## 页面摘要
- 路径: /categories/software-design/
- 当前页: 1 / 1
- 文章总数: 1
- 当前页文章数: 1

## 快速导航
- [首页](/)
- [分类索引](/categories/)
- [归档索引](/archive/)

## 本页文章
### [解析而非验证：在 Rust/Haskell/TypeScript 中提升类型安全与 API 健壮性的工程实践](/posts/2026/02/11/parse-dont-validate-engineering-practices-for-type-safety-and-api-robustness-in-rust-haskell-and-typescript/)
- 日期: 2026-02-11T20:26:50+08:00
- 分类: [software-design](/categories/software-design/)
- 摘要: 对比解析与验证两种模式，分析其在强类型系统中如何减少运行时错误、消除冗余检查，并通过 Haskell 的 NonEmpty、Rust 的新类型、TypeScript 的标记类型与 Zod 库给出可落地的参数与清单。