最近需要學習用 ML 族的語言寫一個 VHDL 的 Parser，於是就有了一系列的嘗試，順便完成了幾道 Codewars 上的習題。

暑假讀了一下 SICP。

這幾天在看 Concrete Semantics 的型別理論部分，於是想做一下之前沒有做下去的 Codewars 上的幾道 Haskell 題。