ocaml每个语句的执行后，每个声明，都会有一个类型签名，如果你不能理解龙书的《type checker》，那么看看ocaml，很容易就能理解类型检查
求乌山附近，耐力好的，一起锻炼，能跑3km以上的，加Q282913273
转：地头的菜价低，市场的菜价高，从地头到市场当中路过的是敌占区吗？
insist on this topic, or step to another stage? How should i choose
囧，不小心把万能空调遥控器的模式代码改了，我说怎么不能用来着
糟糕的pdftex啊，为了装cjk包，导致连英文tex文件也编译不了了，哭~
啊嘞，一不小心，新浪上都是魔力城市签到、收租、打扫的同步，才发现我也迷上了iOS app，可惜只会玩，不懂开发
