NEE's Blog

解析,不要验证

10 Feb 2026

本文探讨了类型驱动设计的核心理念——通过解析而非验证来处理数据,让类型系统成为你的防线。

函数式程序员对系统的误解

10 Feb 2026

类型系统验证程序属性,而生产环境的正确性是系统的属性。这两者之间的差距,正是那些有趣故障的栖息地。