为什么前端老觉得后端简单？

如何辨别一个程序员水平的高低？

编译原理中的抽象语法树(AST)为什么而存在？

如何评价 Abstracting Gradual Type?

如何评价abstracting abstract machine？

图灵奖得主、《龙书》作者万字长文讲解：什么是「抽象」？

如何理解抽象解释（abstract interpretation）？

面向对象设计中，如何实现业务逻辑与控制逻辑的分离？

编程到底难在哪里？

为什么「群」和「半群」的英文是 group 和 semigroup，而「幺半群」却是 monoid？

Java 8接口有default method后是不是可以放弃抽象类了？

符号表和抽象语法树是什么关系？两者在编译器设计中是否必需？

统一编程模型