之前使用 Hexo 的时候，用的是 hexo-abbrlink 插件来处理永久链接，而换到了 Hugo 之后，由于 Hugo 没有插件系统，所以就采用了简单的 /year/month/day/name 形式处理永久链接。

昨晚临睡前翻了翻 Hugo 文档，发现了 Hugo 有一系列自建函数，实验过后可以生成类似于 hexo-abbrlink 效果的永久链接，就写了这篇文章记录。

我又换博客了。

从 5 月开始到现在一直在不断的刷题忙比赛的事，一直没来得及继续写博客，算算有八个月了，大半年过去了。

最近打算集中火力写一系列文章，所以准备重新把博客弄起来。

然而，我回到 Hexo 重新 rebuild 了一下站点，60s 的生成速度实在是令人难以恭维。正巧在上个月，我听说了 Hugo 这个神器，就准备试用一下。结果这一试用，我就回不来了。花了一整天时间把博客迁移到了 Hugo，这篇文章就记录一下迁移的过程。

忙过了这一茬，趁着下一茬还没来，我先填填坑～

在上一篇文章里面，我们谈到了如何去表达一个自然数系统：0以及后继，然后写出了邱奇计数法中的0和后继表达方式。作为一种验证和转化手段，我们也描述了邱奇化和去邱奇化的有关内容，更好的去验证我们的结果。

然而，一个代数系统，光有数可远远不够，我们还需要有各种运算。

今天，让我们来谈谈运算的内容，除了加法、乘法、乘方以外，我还将给你展示使用代换模型来展开函数，从而去更好的理解整个运算过程。

准备好了吗？让我们开始吧！

隐私问题一直闹得沸沸扬扬，今天刚好在Github提交的时候想起来GPG公钥这个东西，所以就搞了半个小时，做了自己的首个GPG Key然后做了一些绑定。

你可以在左边那一栏看到我的keybase.io，如果只是想体验体验的话，在这里可以找到我的公钥，然后使用我的公钥加密你的信息，然后在下面留言给我😄

让我们来谈谈抽象。

什么是抽象？几乎所有程序员都听说过。不就是把一些对应的实体抽象成一些数据结构啊，算法啊或者设计模式之类的，然后写成代码呗。

但是你真的懂抽象的威力吗？我们只有数据结构和算法等抽象吗？能不能不使用任何数据结构去表达一个二元组呢？

这一系列短文有3篇（可能），我将从Python的基础入手，带你简单入门Lambda表达式，然后走进邱奇计数的世界，见证函数式编程的高阶抽象能力。

准备好了吗？让我们开始吧。

这是SICP纸质笔记的整理。

你可以在这里下载到重新排版过的英文原版或者直接在线阅读。点击这里购买中文纸质版(右侧)。

这里是我第一章的习题。