豆包是极好的代数老师。抽象代数和序论格论能力杠杠的。这给学计算机语言理论和类型论方向的学生们提供了极佳的学习工具。
柯霍同构是非常表面上的东西，子结构逻辑也是。认为这个方向远离了代数和模型是一个误会。实际上代数和模型功底越强，对证明和计算的「逻辑」结构理解越深入和透彻，尤其是系统要面对工程实践与应用，不得不走出只能表达理想顺序计算的λ象牙塔时。
发布于 上海
概念机器
豆包是极好的代数老师。抽象代数和序论格论能力杠杠的。这给学计算机语言理论和类型论方向的学生们提供了极佳的学习工具。
柯霍同构是非常表面上的东西，子结构逻辑也是。认为这个方向远离了代数和模型是一个误会。实际上代数和模型功底越强，对证明和计算的「逻辑」结构理解越深入和透彻，尤其是系统要面对工程实践与应用，不得不走出只能表达理想顺序计算的λ象牙塔时。