原文:抽象函数的类型与解法