最近需要学习用 ML 族的语言写一个 VHDL 的 Parser，于是就有了一系列的尝试，顺便完成了几道 Codewars 上的习题。

暑假读了一下 SICP。

这几天在看 Concrete Semantics 的类型理论部分，于是想做一下之前没有做下去的 Codewars 上的几道 Haskell 题。