编程与类型系统

这是一本'立场鲜明'的类型系统入门书，读完后你多半会明确自己喜欢它或嫌它无聊——两极评价恰恰源于它最核心的取舍。作者刻意回避了深奥的范畴论与数学推导，转而用 TypeScript 把类型如何'约束歧义、防止错误、让代码可组合、可封装'讲得浅显可感。读者反馈显示：它的长处在于示例组织得清晰、概念门槛低，即便有 Kotlin、Scala、Rust 背景的人也能借它建立'从类型系统观照整个编程语言'的更高视角；短板同样突出——理论讲得不够透，函子、单子等概念点到为止，翻译也带机翻痕迹。它适合想要快速建立类型思维、梳理工程直觉的开发者；若你期待'类型体操'或严密的数学证明，可能会失望。

弗拉德.里斯库迪亚（Vlad Riscutia） Microsoft的首席软件架构师，领导开发了几个大型软件项目，并指导了许多初级软件工程师。曾管理Office授权团队，包括将Office授权栈重新设计为基于服务的模型，集成Windows开箱即用体验，并发布Office 2019。