目标

这个 collection 用来整理编程语言层面的事实性笔记：抽象机制、类型系统、函数式编程，以及在不同语言中反复出现的模式。目标是可长期复用的概念参考，而不是绑定某一套技术栈的教程。

当前阅读路径

  1. 函数式编程的基本思想与 cons 列表

计划方向

  • 类型系统与类型论
  • 代数数据类型与模式匹配
  • Lambda 演算与求值
  • 副作用、不可变性与状态

状态

目前已有一篇完成的双语笔记。之后新增页面应当中英文一起添加。