如果你想学习一些类型理论或函数式编程概念，而不想被很多精英主义的编程语言理论的脑洞困扰——那就不用再找了。拥有实际的低级代码，可以与正式描述并排查看，使理解变得容易得多。