如何學習 Cairo

從零開始接觸 Cairo 的入門概觀。


Cairo 是第一個圖靈完備、能為一般運算建立可證明程式的語言。它是類似 Rust 的高階語言。和 Rust 一樣,它的目標是讓開發者能輕鬆寫出有效率又安全的程式碼。

我們認為最好的學習方式就是動手玩、動手練習,無論是打造自己的程式專案,還是解像 Exercism 這裡這樣的小題目都可以喔!

以下是幾個能幫助你快速展開 Cairo 之旅的資源: