程序员的基础知识 基础知识是基础知识非常不同：如果你在现场是一个新人，也未必是最短路径，成为“职业准备” ......但你会在这里学到将持续你的寿命长！ 如果您知道一些符合上面定义的优质资源，请随时贡献。 计算机科学 一般的 计算机程序（MIT）的结构和解释 计算机科学数学（MIT） 程式语言理论 B. Pierce在Coq中的软件基础 逻辑基础 编程语言基础 经过验证的功能算法 P. Wadler Agda中的编程语言基础》 范畴论 B. Milewski编写的程序员分类理论 类别编