FOPL 课期末大作业，仿照 POPL'11 的一篇文章-w- - View it on GitHub