有时候在想，为什么大一的时候不去看htdp，sicp，the little系列，而是浪费时间在毫无意义的事情上，而导致现在大四或者是研0的自己如此被动。

所以我觉得rust所谓的变量隐藏本质就是一个绑定值的过程而已，从functional programming的角度看rust的本质就是在可变不共享，共享不可变的概念上创造了很多复杂的东西。

history : Algol 60BNF的本质是一系列规则的集合它的本质是2型文法，表现力比Regex强（上下文无关文法）对于它更多采用accept而不是match----------使用Lark来表示BNF

Racket没有关键字，看来它确实是一门不错的语言，也有可能因为它是scheme方言的缘故。

总的来说，Lec1后半段没有听懂concrete syntax 和 abstract syntax tree的对应关系也许最简单的程序是42，也许这个简单程序对应的concrete syntax produces the answer to life,the universe and everything. a grammer is a way to define languages.so languages are sets of programs.they're usually infinite sets.so what's the difference with non-racket p...

总之这节课完全是懵的The halting problem你不知道是否有程序可以检查一个输入使得程序无限循环Biting your tailNot Just a Trickuncomputable:假设halt?能够返回一个正确的值，那么就说明它有无穷多的输入导致失败的，因为如果这个输入能够让halt?正确工作，那么就可以再构造一个halt?函数使它可以正确工作，这就反而证明了halt?不是不可计算的举例: 我们不能判断两个程序是否在计算相同的东西，意味着我们不能写出完美的杀毒程序，因为你不能判断程序正在执行的东西给出符号可能的Assertions来进行限制符号的语义它表示存在最小的元素

+1

Scheme的解释器很大程度上基于计算器 ,并且shceme程序本身就是一个数据结构(list),data is program,program is data1）scheme_reader2) scheme_eval 计算剩余部分，它有一个副作用，会去掉第一个表达式,否则返回EOF3) scheme_apply将函数作用于参数func(*args) 即 把列表转换为参数对于函数来说，有两种情况，一种是primitive,built-in function，另一种是user-defined function，也就是用户通过define 或者 lambda自定义的函数。对于用户自定义函数，将其作...

我觉得是后现代的解构主义建筑？

读了一篇文章，《清华梦的粉碎——写给清华大学的退学申请》 by 王垠，突然有很多感慨。

Idea调试有两个技巧resume 继续执行程序，它主要功能是如果没有断点就一直执行，直到执行结束；如果运行过程中有断点，就跳转到该断点。conditional breakpoints 不用手动调试，能够到达满足指定条件的断点。如果进行随机测试而bug相当模糊，可能无法检测到错误。因此不应该用随机测试替代精心设计的单元测试。Josh Hug说这应该只是一个补充测试的方法[链接](https://news.ycombinator.com/item?id=24349522)Java Exception Breakpoints的设置(执行断点)，与行断点不同在测试中多用log,不要用print,因为...

真的羡慕王垠能在Cornell学习，而我这辈子都不会有这个机会了。。。。。

haskell学习打卡，今天争取做完Lecture 2

虽然0offer,也没有女朋友，但是我还能逛逛V2ex和刷刷国外的课，感觉也没那么糟糕