#计算机
Haskell 的基础概念与语法
函数式语言的基础特性概览：列表、类型与高阶函数。
基于 Lua 的模拟环境
封面图为《末日时在做什么？有没有空？可以来拯救吗？》的角色珂朵莉持有的圣剑「瑟尼欧里斯」，在设定中由 41 个形如“感冒发烧时睡觉不会做噩梦”、“在喝茶时不会被茶烫到舌头”的护符组成，异稟是“将对手化为死者”。本文的想法也类似于此。…
LISP 模式：图灵完备及元编程
在 1960 年，John McCarthy 中一篇论文中定义了一个名为 Lisp（意为 list processing）的编程语言。Paul Graham 认为，“目前为止只有两种真正干净利落，始终如一的编程模式：C 语言模式和 Lisp 语言模式。此二者就像两座高地……随着计算机变得越来越强大，新开发的语言一直在坚定地趋向于 Lisp 模式。”
Lisp 似乎受到了 Lambda 演算与 Kleene 的递归论的影响，但不完全来自于它们。…
无类型 λ 演算与重写系统
本文讨论 Alonzo Church 发明的无类型 λ 演算（λ-calculus）。这是一个类型论与计算理论的基础模型。…
迷宫生成算法的若干方案
本文迁移自之前的文章集。包含固定大小迷宫的随机化 Prim 算法与无限迷宫的递归分割算法。对应在线项目见于迷宫生成算法演示。…