型検証
【かたけんしょう】
【katakensyou】
类型检验