翻译自 The Little Schemer 4th Edition Ch9 - …and Again, and Again, and Again, …。

（这篇文章提到了 Y combinator。）

• 练习钢笔字
• 学习设计相关知识
• 实现一个编译器
• 了解机器学习相关知识
• 上架至少一个 iOS App
• 学习 OpenGL 相关知识
• 阅读计算机经典书籍
• 尝试绘画
• 至少翻译一本英文专业书籍或每月一篇文章
• 学习日本语
• 尽可能多地写博客

ホーリーナイト

一旦接受了这种设定……其实还是蛮带感的……

翻译自：A Plan for Spam。

（这篇文章描述了应用在 Arc 语言的练习作品——防垃圾在线邮件阅读器中的垃圾过滤技术。改进后的算法在《更好的贝叶斯过滤》中描述。）

单子和副作用（Effects）

编程中四种基本的副作用为：

磨蹭到现在才看了一部分的 Session，有些收获，整理一些关于 Swift 语言的内容，主要来自以下几个 Session：

• 402 Introduction to Swift
• 403 Intermediate Swift
• 404 Advanced Swift
• 406 Integrating Swift with Objective C
• 407 Swift Interoperability in Depth
• 408 Swift Playgrounds
• 409 Introduction to LLDB and The Swift REPL
• 410 Advanced Swift Debugging in LLDB

扩展例子：离散事件模拟

这个例子用来展示赋值和高阶函数是如何以一种有趣的方式组合起来的。在本例中将会构建一个数字电路模拟器，而这个模拟器基于一个通用的离散事件模拟框架。

数字电路由电线和功能模块组成，电线传递由功能模块转化过的信号。本例中用布尔值 true 和 false 来表示信号，基础的功能模块（门）有：

• 非门，输出为输入的反转
• 与门，输出为输入的合取
• 或门，输出为输入的析取

同一性和变化

赋值给辨别两个表达式是否相同带了新问题。当不考虑赋值时，可以这样写：

1

val x = E; val y = E

函数和状态

到目前为止，所见到的程序都是无副作用的。所以，时间的概念并不重要。对所有终止的程序来说，任何动作顺序都会返回一样的结果。这在替换模型中也有所体现。

回忆：替换模型

程序可以用重写 (rewriting) 的方法来求值。函数调用中最重要的重写规则是：

1
2
3

def f(x1, ..., xn) = B; ... f(v1, ..., vn)
->
def f(x1, ..., xn) = B; ... [v1/x1, ..., vn/xn] B