![](https://img-blog.csdnimg.cn/20201014180756738.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Programming Language Theory
电影旅行敲代码
垃圾文章制造者
展开
-
Programming Language, Part C - 第一周上课笔记
OOP的核心PLP - Dynamic Method Bindingdynamic dispatchdynamic dispatch vs closures如何使用racket模拟dynamic dispatch读书的重点在于思考和理解,否则无疑是向脑子里倾倒垃圾...原创 2019-11-22 17:57:24 · 340 阅读 · 0 评论 -
untyped lambda calculus
(阅读笔记,低质,请直接翻看引用)最近在看TAPL,遇到了lambda-calculus,这算是我第一次系统性的学习这个概念。然后就像了解到信息论和图灵机一样,跪倒在地。按照自己不记录一下就没有学透彻的惯例,记录一下学习心得。lambda 相关约定t::=termsxvariableλx.tabstractiont tapplicationt ::= \qquad \qquad \...原创 2019-10-20 12:21:08 · 570 阅读 · 0 评论 -
structural induction
最近在看programming languges theory相关的书,遇到了structural induction这个概念,记录一下。在介绍structural induction之前,先介绍一个在自然数上应用数学归纳法的例子。定义一个集合 SSS。1 ∈S\in S∈S3×t+2∈S3 \times t + 2 \in S3×t+2∈S,其中 t∈St \in St∈S其它自然数都...原创 2019-09-28 17:20:30 · 626 阅读 · 0 评论