一個模塊子類型是在一個模塊中聲明，但是不同于模塊名的類型。這允許一個單獨的 .hx 文件包含多個類型，可以在模塊內無限制的使用，而從其它模塊中使用 package.Module.Type 訪問: > A module sub-type is a type declared in a module with a different name than that module. This allows a single .hx ?le to contain multiple types, which can be accessed unquali?ed from within the module, and by using package.Module.Type from other modules: ~~~ var e:haxe.macro.Expr.ExprDef; ~~~ 這里haxe.macro.Expr內部的子類型ExprDef被訪問。 > Here the sub-type ExprDef within module haxe.macro.Expr is accessed. 子類型關系并不在運行時反映。即，公共子類型稱為一個它們的包含包的成員，如果相同包內的兩個模塊嘗試定義相同的子類型時可能會造成沖突。自然，Haxe編譯器偵測這些情況并做出相應報告。在上面的例子中 ExprDef 是生成為 haxe.macro.ExprDef。 > The sub-type relation is not re?ected at run-time. That is,public sub-types become a member of their containing package, which could lead to con?icts if two modules within the same package tried to de?ne the same sub-type. Naturally, the Haxe compiler detects these cases and reports them accordingly. In the example above ExprDef is generated as haxe.macro.ExprDef. 子類型也可以聲明為私有： > Sub-types can also be made private: ~~~ private class C { ... } private enum E { ... } private typedef T { ... } private abstract A { ... } ~~~ **私有類型** >[warning] 定義：私有類型 一個類型被定義為私有，通過 private 修飾符。其結果，這個類型只能從定義它的這個模塊內部直接訪問。私有類型，不像公共類型，不會稱為它們包含包的成員。 >[warning] De?nition: Private type A type can be made private by using the private modi?er. As a result,the type can only be directly accessed from within the module (3.7) it is de?ned in. Private types, unlike public ones, do not become a member of their containing package. 類型的可訪問性可以通過使用訪問控制（第6.10節）進行更深入的控制。 > The accessibility of types can be controlled more ?ne-grained by using access control (6.10).