公开(公告)号：CN102171681A

公开(公告)日：2011-08-31

申请号：CN200980140409.0

申请日：2009-09-30

Applicant: 微软公司

Inventor： D·E·兰沃西 ,  G·柏曼 ,  A·D·高登 ,  D·F·伯克斯 ,  B·H·洛夫林 ,  J·C·施利梅尔 ,  J·D·多蒂

IPC: G06F17/00 ,  G06F17/30

CPC classification number: G06F8/10 ,  G06F8/31

Abstract: 提供用于灵活地定义声明性编程语言的各类型的高效的、合乎逻辑的和有表现力的类型系统，以使得可以生成高效的且结构上紧凑的数据密集的应用程序。该类型系统支持精化类型和类型成员表达式的组合，并支持包含所有有效值作为成员的顶端类型。借助于该类型系统，各类型可以被表达成其他类型的交和/或并。因而，可以为真实世界数据存储中存在的全部数据类型高效地表示类型。