擴展是用來表達 一個結構具有所有指定類型的字段并且有一些另外的自己的字段： ~~~ typedef IterableWithLength<T> = { > Iterable<T>, // read only property var length(default, null):Int; } class Main { static public function main() { var array = [1, 2, 3]; var t:IterableWithLength<Int> = array; } } ~~~ 這個大于操作符 `>` 表示一個 `Iterable<T>` 的擴展被創建，跟隨有另外的類字段。在這個情況，一個 Int 類型的 [只讀屬性（第4.2節）](http://#) `length` 是必須的。 > 為了被和 `IterableWithLength<T>` 類型兼容，一個類型必須被和 `Iterable<T>` 兼容，并且也提供一個只讀的 Int 類型屬性 `length` 。這個例子分配一個 Array，用來滿足這些需求。 **從Haxe 3.0 開始** 還可以擴展多個結構： ~~~ typedef WithLength = { var length(default, null):Int; } typedef IterableWithLengthAndPush<T> = { > Iterable<T>, > WithLength, function push(a:T):Int; } class Main { static public function main() { var array = [1, 2, 3]; var t:IterableWithLengthAndPush<Int> = array; } } ~~~