猜您还喜欢
符号和解释
少于 1 分钟读完
在被Coq折磨了快一个月后,终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将,它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
从零开始搓一个编译器
11 分钟读完
今年手痒痒选了一个Implementation of PL的课,需要徒手搓编译器。这里来小记一下这个过程,感觉这可能是我校CS最硬核的课之一了。
待在加州的一段时间
少于 1 分钟读完
刚刚从加州回来,迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。
计算机玄学——主要是踩的Rust的坑
少于 1 分钟读完
有言道: 我的一生, 是和Rust Compiler搏斗的一生。 ——我
留下评论