摘要：
这些天感觉很困很累，远离了主，也没有能够坚持这100天的计划，但我想不能因为这十几天而荒废掉这个计划，我无时无刻不需要主的指引。 No. 1 每天读圣经 Revelations 15 今天学习了一些函数式编程的知识和ML语言的特性，熟悉了Emacs的另外一些快捷键。 （1）Option; ML 语言有一种特殊的类型 option，它可以取两种值，一种是 SOME 类型，一种是 NONE 类型。这种变量可以在返回空值的时候用上，程序会更有意义。 （2）Let 语句；还没有得到确定的表述，但我觉得函数式编程应该是不能定义 local variable 的，所以需要用到 let...in... 阅读全文
