[发明专利]用于声明性数据脚本语言的类型系统

摘要

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

主权项

一种用于根据包括支持类型精化和类型成员的类型系统的声明性编程模型定义声明性代码的方法，包括：接收800声明性编程语言的至少一个编程构件的规定，包括接收810通过指定对于其来说布尔表达式为真的值来定义至少一个类型的类型精化构件的规定，以及在所述类型精化构件内接收判断求值表达式所得到的一个或多个值是否所指示的类型的成员的类型成员测试构件的规定；以及基于所述至少一个编程构件的所述规定生成830代码的机器可读的表示。