`type`關鍵字讓你定義另一個類型的別名： ~~~ type Name = String; ~~~ 你可以像一個真正類型那樣使用這個類型： ~~~ type Name = String; let x: Name = "Hello".to_string(); ~~~ 注意，然而，這是一個_別名_，完全不是一個新的類型。換句話說，因為Rust是強類型的，你可以預期兩個不同類型的比較會失敗： ~~~ let x: i32 = 5; let y: i64 = 5; if x == y { // ... } ~~~ 這給出 ~~~ error: mismatched types: expected `i32`, found `i64` (expected i32, found i64) [E0308] if x == y { ^ ~~~ 不過，如果我們有一個別名： ~~~ type Num = i32; let x: i32 = 5; let y: Num = 5; if x == y { // ... } ~~~ 這會無錯誤的編譯。`Num`類型的值與`i32`類型的值是一樣，在各種方面。 你也可以在泛型中使用類型別名： ~~~ use std::result; enum ConcreteError { Foo, Bar, } type Result<T> = result::Result<T, ConcreteError>; ~~~ 這創建了一個特定版本的`Result`類型，它總是有一個`ConcreteError`作為`Result`的`E`那部分。這通常用于標準庫中創建每個子部分的自定義錯誤。例如，[`io::Result`](http://doc.rust-lang.org/nightly/std/io/type.Result.html)。