内部类型相关论文