是否存在支持排除特定结构体字段的子类型关系类型系统？

是否存在一种类型系统，可定义类型（约束/接口）I = NoField<'a'>，使得所有类型T若满足T <: I，则T为不含特定字段a的结构体？

详细说明 #

在TypeScript中，我们有&、|类型构造器，以及如A extends A | B、A & B extends A等子类型规则（结构多态）。虽可通过类型工具Exclude定义类似NoField的类型，但extends语义不符，NoField的语义更接近io-ts的精确类型，只是后者未真正作用于类型层面。

关于行多态（row polymorphism），其似乎支持r/l符号表示不含字段l的行，但尚未理解其用法。PureScript等语言的行约束似乎不支持该排除符号，请问行多态属于类型系统吗？能否表达上述NoField语义？

动机 #

学习Unity ECS系统时发现，其查询类似原型上的受限结构多态：WithAll对应TypeScript的&，WithAny对应|，但WithNone构造器找不到对应的类型层面符号/语义。

1. 行多态的定位与NoField语义实现 #

行多态是类型系统的原生特性，专门用于对结构体/记录的字段集合（称为“行”）进行精细化操作，包括字段排除，完全可以表达NoField<'a'>的语义。

以支持行多态的语言（如PureScript）为例，行多态用r - l语法表示“从行r中排除字段l后的新行”。要定义“不含字段a的记录”约束，可直接在类型中使用该语法：

-- 接受任何不含"a"字段的记录作为参数
acceptNoARecord :: forall r. Record (r - "a") -> String
acceptNoARecord rec = show rec

当传入带有a字段的记录时，类型检查器会直接报错，严格符合T <: NoField<'a'>的语义——只有不含目标字段的类型才能满足约束。

2. TypeScript中的模拟方案 #

TypeScript的结构类型系统无原生字段排除约束，但可通过条件类型模拟近似效果：

type NoField<T, K extends string> = T extends Record<K, any> ? never : T;

// 仅接受不含'a'字段的类型
function acceptNoA<T extends NoField<T, 'a'>>(obj: T) {}

acceptNoA({ b: 1 }); // 类型检查通过
acceptNoA({ a: 1, b: 2 }); // 类型报错

该写法利用条件类型分发特性，将带有目标字段的类型映射为never，从而在extends约束中排除这类类型，实现类似NoField的检查逻辑。

3. Unity ECS WithNone的类型映射 #

Unity ECS的WithNone本质是查询时排除带有指定组件的实体，对应到类型系统中就是“排除包含特定字段/组件的类型”，行多态的字段排除语义完全匹配这一需求。若要在类型层面建模WithNone，可直接参考行多态的“行减法”思路，用“排除行中指定字段”来定义约束。

内容的提问来源于stack exchange，提问作者xiang0x48