从$开始的类型过山车

使用续延传递模拟GADT

Monad是一种Context Sensitive的CodeGen - 用State Monad实现x86汇编

复杂的GUI

旁观一场16进制风格技术面试

haskell缺陷其一

一点也不函数式的函数式语言编译器 - 论GHC的代码架构与历史遗留

haskell的ReaderT设计模式

Trees That Grow - 基础手法

Trees That Grow - 扩展

haskell中的设计模式 - 二阶函子

和Lisp肩并肩飞上天

用简单的haskell生成简单的音乐

MonadBaseControl是什么

草稿 - 当我们讨论中文编程语言时, 我们在说什么?