计算机程序和构造和解释
SICP for elisp
https://github.com/AbstProcDo/SICP-in-Elisp
SICP答案
http://community.schemewiki.org/?sicp-solutions
准备环境
构造过程抽象
sicp.01.Abstractions.with.Procedures.part01
sicp.01.Abstractions.with.Procedures.part02
sicp.01.Abstractions.with.Procedures.part03
构造数据抽象
sicp.02.Abstractions.with.Data.part01
sicp.02.Abstractions.with.Data.part02
sicp.02.Abstractions.with.Data.part03
sicp.02.Abstractions.with.Data.part04
sicp.02.Abstractions.with.Data.part05
模块化、对象和状态
sicp.03.Modularity.Objects.and.State.part01
sicp.03.Modularity.Objects.and.State.part02
sicp.03.Modularity.Objects.and.State.part03
sicp.03.Modularity.Objects.and.State.part04
sicp.03.Modularity.Objects.and.State.part05
元语言抽象
sicp.04.Metalinguistic.Abstraction.part01
sicp.04.Metalinguistic.Abstraction.part02
sicp.04.Metalinguistic.Abstraction.part03
sicp.04.Metalinguistic.Abstraction.part04
寄存器机器里的计算
sicp.05.Computing.with.Register.Machines.part01
【λ】thzt.js(373134760) 23:25:40 语法，看看形式语言和自动机
【η】json.rkt(418289183) 23:25:55 语法就是你看到的，语义就是它的意思
【λ】thzt.js(373134760) 23:26:03 语义，没有推荐的，我刚学，让别人推荐吧 最近看的一本挺好，等我看完了再决定是不是推荐
【τ】温其如玉.java(382042614) 23:27:41 噢噢噢~
【κ】魔理沙<lolisa@marisa.moe> 23:27:46 语义的话，software foundation很不错，干货多并且有趣，最后还做出了有模有样的语言，Formal Syntax and Semantic没看完，不过挺不错的样子
【λ】thzt.js(373134760) 23:28:14 @魔理沙 真的这么好？ 我手机的书都看了半本，这本看完了，我要删一些。。。
【κ】魔理沙<lolisa@marisa.moe> 23:28:58 反正Java的所谓OOP有，STLC type check，类型推导有，mutable reference有，fixpoint，match有
【λ】thzt.js(373134760) 23:30:17 不错，跟我看的这本差不多
【κ】魔理沙<lolisa@marisa.moe> 23:30:46 不过我说的都在后面，前面是讲Coq，要讲10+章，然后10+章C like语言，axiomatic semantic operational semantic，然后讲STLC，上面写的就是STLC他的最终魔改版 你看的是？
【λ】thzt.js(373134760) 23:31:37 还有一章就看完了，完后再说 免得听到有人说不好，就看不仔细了