型の解析