从$开始的类型过山车
$
使用续延传递模拟GADT
文本观察/双峰驼的消失与重现
Monad是一种Context Sensitive的CodeGen - 用State Monad实现x86汇编
复杂的GUI
旁观一场16进制风格技术面试
haskell缺陷其一
一点也不函数式的函数式语言编译器 - 论GHC的代码架构与历史遗留
haskell的ReaderT设计模式
haskell的HasIt设计模式
Trees That Grow - 基础手法
Trees That Grow - 扩展
haskell中的设计模式 - 二阶函子
和Lisp肩并肩飞上天
用简单的haskell生成简单的音乐
MonadBaseControl是什么
草稿 - 当我们讨论中文编程语言时, 我们在说什么?
草稿 - 让人头痛的C语言
Prolog迷魂记