不可变的状态

状态总与变化相关,如果我们不使用可变的变量,那要如何表示状态?又该如何使状态间的转换更加方便?
Read more →

Parser Combinator

直接手写词法语法分析往往非常痛苦,parser combinator 也许是一个不错的解决方案,其中还能反映一种有趣的编程思想。
Read more →

使用 Future 进行并发编程

Future 能够将计算任务的并发化和计算最终的执行方式分离,通过一套设计良好的 API 使得对数据的操作变得简单。
Read more →

Null 值及其处理方式

讨论 null 值的由来及几种典型的表示方式和处理方式。
Read more →

协变、逆变与不变

类型系统中的协变、逆变、不变分别是什么概念,以及 Java 对此的处理有何问题?
Read more →