如何學習 Idris

從零開始學習 Idris 的入門概覽

這份教學旨在簡要介紹這個語言，對象是已經熟悉函式語言（例如 Haskell 或 OCaml）的讀者。 文中特別假定你對 Haskell 語法有一定程度的認識，不過大多數概念至少都會簡單說明一下。 我們也假定讀者對使用依賴型別來撰寫與驗證系統軟體有些興趣。