Haxe 标准库定义了一组基础类型作为核心类型抽象。它们通过 `:coreType` 元数据识别，而且缺失一个潜在类型的声明。这些抽象类型仍然可以被理解为表示不同的类型。不过，这个类型是 Haxe 目标语言原生的。 引入自定义核心类型抽象在用户代码中是很有必要的，因为它需要 Haxe 目标语言可以理解它的意思。然而，对于宏的作者和新的 Haxe 目标语言可能是很有趣的用例。 与难懂的抽象类型的相比，核心类型抽象有下面的属性： * 它们没有潜在类型。 * 它们被认为是可空的，除非带有 `:notNull` 元数据的注解。 * 它们被允许没有表达式形式的 [数组访问（第2.8.3节）](http://#) 函数声明。 * 没有表达式的 [运算符重载字段（第2.8.2节）](http://#) 不会被强制追随 Haxe 的类型语法形式。