asdf书评 >
-
摘录
0有用 0无用 2017-06-14
其中我认为最重要的是下面这段:> 我想,只是大家没有意识到而已,其实大家也跟我有相同的感受吧。例如,只因为想偷懒而休息不工作,日复一日、漫无目标地度日是什么感觉?我想应是比想像中还更无法放松。相反地,若是「用力」地工作一番,接著以「终于告一段落,接下来就是最盼望的发呆时间,这对于维持身心健康是...
修改 -
短评+笔记
0有用 0无用 2017-05-23
短评: 这半年读过的最漂亮的一本书,各种计算模型及某些通用计算模型的等价性、语义分析/语法分析以及最后一章的类型检查系统(给我感觉就是在写一个小的编译器或者解释器)、还有停机问题的具体介绍都非常精彩。最最重要的是,所有的论述都用上了 Ruby 代码,大部分例子理论上都是可以运行的!Ruby 的灵活性...
修改