Rust’s Type System¶
Type System & Set Theory¶
19 世紀末期，John Venn 發明了 Venn Diagram (台灣稱為文氏圖)， 用圖像的方式來表達集合論， 簡單的方法讓小學生也能很容易地學會基礎集合論。
資訊領域以大量的數學為基底在發展， 其中程式語言的 type system 是對於程式撰寫上有重大影響的核心議題。 Visualizing Rust’s type-system 這篇文章用文氏圖的來說明 Rust 的 type system， 給出了非常好理解的範例。
人類在知識取得上的一個重要方式就是把還不能理解的東西 mapping 回已知的東西上， 文氏圖從國小就學過了， 早就已經在大家的基礎知識裡面， 讀完這篇文章可以幫你把 Rust 的 type system 運作方式 mapping 到基礎知識上， 如此一來可以很輕鬆的理解 ~