光阴冢 赛博空间的自留地

Codewars

Parser and Evaluator Exercises

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

Read more

Haskell 几题

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

Read more