类型探讨