在討論 [匿名結構（第2.5節](http://#)） 的時候我們簡要的介紹了 `typedef` ，和我們如何通過給定一個名稱來縮短一個混合的 [匿名結構（第2.5節](http://#)）類型。這正是 `typedef` 擅長的事情。給匿名結構類型命名甚至可以認為是它們的主要使用。事實上，它是如此的常見以至于差異多少有些模糊，許多 Haxe 用戶認為 `typedef` 實際上就是結構類型。 一個 `typedef` 可以給任何其它的類型命名： ~~~ typedef IA = Array<Int>; ~~~ 這使我們能使用 `IA` 到我們通常使用 `Array<Int>` 的地方。雖然這只節省了一點擊鍵次數，但在用于更復雜、混合的類型時會產生很大的差異。再一次，這正是為什么 `typedef` 和結構看起來那么連貫的原因： ~~~ typedef User = { var age : Int; var name : String; } ~~~ 一個 `typedef` 并不是一個文本的替換，而是實際上一個真實的類型。它甚至可以有 [類型參數（第3.2節）](http://#)，就像 Haxe 標準庫中的 Iterable 類型所展示的： ~~~ typedef Iterable<T> = { function iterator() : Iterator<T>; } ~~~ **可選字段** 標記一個結構類型中的字段為可選，使用 @:optional 元數據。 ~~~ typedef User = { var age : Int; var name : String; @:optional var phoneNumber : String; } ~~~