（）兼顾了类型论和特质论两者的优点。