函数type