关于范畴论文章的翻译和一些函数式编程的心得