规范的类型化论文