Study note

Everything should be typed

View original Back to list

Properties

Type: Blogs
Status: 待读
Domain: Engineering
Category: 软件设计与工程实践
Source: sot.dev
Vault note: library/articles/engineering/Everything-should-be-typed-faa71cba967d71a6.md

一篇关于“标量类型不够”的类型建模文章，用 shop/customer/order ID 和 money 字段互换的 bug 说明只用 `string`/`number`/`i64` 仍会漏掉语义错误，进而讨论用更具体的类型表达业务含义。

适合补“类型系统如何服务领域建模”的直觉，阅读时可重点对照 newtype、value object、opaque type 和参数对象的取舍。

类型化建模

Loading comments...