之前有看到有大佬用类型运算实现了中国象棋程序 和 Lisp 解释器 甚是震惊，之前不太会看不懂。 最近也学了点类型体操的内容想着自己也玩一下。选择五子棋的原因是相对来说规则是更简单一些的也比较好实现。