类型实践相关论文