Rust是被設計成用來開發高正確性程式的程式語言，運用了靜態型別來增加程式的可靠性，也用了擁有權、生命周期等等的概念來保證程式的安全性。雖然Rust強大的編譯器會替我們做很多程式碼方面的檢查，但是程式邏輯上的正確性，就無法依靠它來驗證了。

每個程式語言都有用一些有效的方式來處理重複的抽象概念，好比先前介紹過的集合，我們可以使用同一種集合結構體來產生出不同的實體，儲存不同型別的資料。舉例來說，String和i32這兩個不同型別的資料都可以被存到Vec結構體所建立的實體中，我們不需要特地針對不同資料的型別來分別實作出如「Vec<String>」或是「Vec<i32>」這樣的結構體。這是就因為Vec結構體使用了「泛型」(generic)。

Rust程式語言將錯誤分為「不可恢復的錯誤」(unrecoverable error)和「可恢復的錯誤」(recoverable error)，程式開發人員必須依照程式邏輯來自行決定應該要讓程式使用哪種類型的錯誤。

Rust程式語言的標準函式庫中已有內建了數個好用的集合資料結構。不同於基本資料型別只能夠儲存一個值，也不同於元組、陣列、結構體只能儲存固定大小的資料量，集合的資料結構將資料儲存在堆積中，也就是說不需要在編譯階段就知道要存入的資料的數量和大小。

我們先前所練習的Rust程式幾乎都只是把程式敘述寫在「main.rs」檔案中，雖然我們已經會使用函數和方法來分割不同功能的程式，但當程式愈寫愈多的時候，這樣的作法還是會讓程式變得難以維護。這時就需要用到Rust提供的「模組」系統了。

在先前的章節中我們已經稍微用過「Result」列舉了，在這個章節中，我們將會學著定義自己的列舉型別，以及使用另一個同樣是由Rust內建，也很常用的「Option」列舉。列舉和同樣我們先前已經用過的「match」關鍵字經常互相搭配著使用，在這個章節中，我們也會更深入地學習「match」關鍵字和「if let」、「while let」語法的用法。

結構體(struct)可以將多個不同類型的資料命名並包裝起來，將它們組合成一個有特殊意義的群組，就像是物件導向概念中的物件所擁有的屬性。在這個章節中我們將會比較元組和結構體的差異、學習如何使用結構體，並替結構體定義方法(method)和關聯函數(associated function)。

Rust程式語言的擁有權概念使它能不使用垃圾回收(Garbage Collection)機制就能保證記憶體的安全性，也是Rust的一大特點，因此瞭解擁有權的工作原理是很重要的。

在這個章節將會介紹許多其它程式語言也都有的基礎概念，包含變數、資料型別、函數、註解以及條件和迴圈的流程控制。

在這個章節，我們將會直接使用Rust程式語言來建立出猜數字程式的專案，並逐步將它完成！並在撰寫程式的過程中，來練習Rust程式語言基礎的程式語法和引用外部套件的方式。這支小程式在執行之後，將會先從1到100的整數中，隨機抽取一個數字作為答案，並且允許使用者輸入要猜的數字，如果答錯了，程式會回答使用者輸入的數字究竟是大於答案，還是小於答案，並持續讓使用者繼續猜下去；如果答對了，程式會出現使用者贏了的...