编程语言设计哲学：从 Lisp 到依赖类型的范式之旅 深入探索编程语言设计哲学的演进：从Lisp的同构性、Smalltalk的纯OOP、Haskell的Monad，到Rust的所有权系统和依赖类型的命题即类型。 编程语言 2026年10月24日 0 点赞 0 评论 3 浏览
