. 编程语言理论

  • Glomzzz
  • 2026-10-08
  • About

程序语言理论（PLT）

这里收集成体系的程序语言理论（PLT）文章．

初入编程语言理论 [intro]
  • 2026-10-08
  • Glomzzz

迷上程序语言理论的契机、它的复杂度来源，以及初学者的入门路线．

打开独立页面 →
形式化入门：从 BNF 到类型安全 [index]
  • 2026-10-10
  • Glomzzz

用布尔值与自然数算术语言，从抽象语法、小步操作语义一路证明到类型安全与算法可靠性．

打开独立页面 →

Built with Typsite.