Study note
计算的本质 : 深入剖析程序和计算机
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 解释器、虚拟机与语言实现
- Source
- book.douban.com
- Vault note
library/books/compilers/计算的本质-深入剖析程序和计算机-1b2c4860a64a065e.md
Summary
借助 Ruby 代码介绍计算理论和编程语言设计，用可运行程序解释形式语义、自动机理论、lambda 演算和函数式编程等主题。
Highlights
尽量避开复杂数学符号，用熟悉的编程语言把抽象计算模型落到代码，适合程序员补计算理论和语言语义入口。
Notes
[英] Tom Stuart；2014-11。
Comments
Loading comments...