In this paper, we mainly discuss about the synthesis of polymorphism.

• 扩展了函数指针的表示和消除方法，着重讨论了多态的可综合性问题。