这篇内容是写论文之前看的一份Simon Peyton Jones的talk对应的幻灯片，原文可以点这里查看。
因为解决了我写论文时遇到的许多疑惑，因此经原作者允许后，将其中文版本发布如下，作为备忘。
完整的ppt可以点这里下载.