通过更好的类型系统解决更多的软件质量问题，是在过去三十多年的产业里梦寐以求的东西，因为缺乏良好的数学基础，只能催生出大量的工程技术解决问题；当然类型系统不是一帖灵，但是它肯定可以把软件质量，或者说程序员们能应对的系统复杂度，推到一个全新的高度。
#type theory# #type system# #dependent type#
Post #439
3.36K
- 👍 4
- Sep 27, 2026#系统编程 讲解Go语言并发主题的小书：《Go concurrency distilled》
- Sep 22, 2026#开源软件 开源本来承载的主要任务之一就是赢得信任，智谱这一把开源不但没有赢取信任，反而让更多人感到了疑问，比如我。
- Sep 22, 2026#开源项目 #Rust #数据库 hawdb：Rust编写的嵌入式图数据库，用于Nowledge产品中管理本地图数据。
- Sep 21, 2026#Rust #人工智能 最近看了好几个Rust相关的新闻，比如： * Rust在微软内部升级为一级语言：《Guest Post: Rust Is Tier-1 Language a…
- Sep 19, 2026#人工智能 这个翻译可以说是 信达雅 了。
- Sep 15, 2026#人工智能 《我不得不把才华埋葬在昨天》，Deepseek 核心开发的文章，也许再过一段时间，他就不用亲手写算子了。