总的来说，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 ...

总之这节课完全是懵的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和刷刷国外的课，感觉也没那么糟糕

请教一下牛友们，我想走haskell方向，它可以找到相关的实习不？

请教一下大家，erlang和elixir好找实习吗？

阅读SICP

每日lc3 + cs61abc按部就班