type-level-correctnesscurrencytypescriptfinancial-software 可以,但你的类型系统需要先知道什么是美元 TypeScript 把所有数字视为同一个东西。下面介绍如何让它区分 USD 和 EUR,使编译器在代码上线前就能拦截货币转换相关的 bug。 2022 年,一家大型金融科技平台处理了一笔 32,700,000.00 的批量转账。金额被存储为普通的 。下游服务以为它是以分为单位。事实并非如此。 这个 bug 逃过了代码审查、单元测试和集成测试。类型系统看到 和 ,就觉得没问题了。两个完全相同的类型,完美兼容,却带来了灾难性的错误。… 2026年6月18日