类型:函数机