Cargo除了可以編譯、執行、測試程式專案之外，還可以針對程式專案進行程式建構(build)時的細節調整、將不同程式專案組合成相同的工作空間(Workspace)，還能搭配Crates.io來使用，利用程式專案的相依關係快速取得Crates.io上的套件，或是反過來將我們開發完成的函式庫發佈到Crates.io上。

Rust程式語言融合了多種程式設計法(programming paradigm)，以指令式程式設計(imperative programming)為主，支援函數式程式設計(functional programming)，不必明確定義出函數名稱的「閉包」和for迴圈所使用的「迭代器」和即是衍生自函數式程式設計的特性。

我們要運用目前為止學到的Rust程式語言知識來製作出屬於我們的「grep」(globally search a regular expression and print)程式。簡單來說，grep程式可以用來尋找特定檔案中的特定字串。grep程式可以透過命令列參數來傳入檔案路徑和要尋找的字串，執行的時候就可以讀取這個檔案中所有包含要尋找的字串的該行資料，並將其印出。

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)。