英國聖安德魯大學講師、idris建立者edwin brady寫道，在達到alpha階段幾個月之後，idris 1.0發布。
\\ 1.0版本發布，最關鍵的一點是其核心語言及基礎庫都被認為是穩定的，就是說，將來的1.x版本應該確保源**向後相容。自alpha版本以來，idris就一直致力於工具和庫的支援，同時，該語言新增了新的編譯指令和乙個新的lineartypes語言擴充套件，其中前者是為了讓使用穩定性較差的特性成為可能。然而，據brady介紹，還是有許許多多可以做貢獻的地方，尤其是改進編譯器和執行時效率，以及修復200多個當前正處於開啟狀態的bug。
\\ 雖然brady認為，idris從根本上講是乙個研究工具，目前還不足以考慮在生產環境中應用，但由brady寫作並於近期出版的manning of type-driven development with idris
\\\看到人們對idris越來越感興趣當然不錯！雖然還有大量的工作要做，但我們已經達到了1.0版本，我們現在已經有了一門可以作為構建基礎的穩定語言。我當前的目標是改進核心的效率和健壯性。
\\
idris是一門純粹的函式式程式語言，旨在為更多的程式設計師提供基於型別的程式驗證技術，同時，還能繼續專注於成為一門通用語言，並且足夠高效，可以用於系統程式設計。想要學習idris的讀者，可以閱讀這個教程。此外，務必要閱讀有關依賴型別程式設計的利弊。
\\檢視英文原文：dependent-types language idris reaches 1.0
依賴型別語言Idris發布1 0版本
英國聖安德魯大學講師 idris建立者edwin brady寫道，在達到alpha階段幾個月之後，idris 1.0發布。u0026 xd u0026 xd 1.0版本發布，最關鍵的一點是其核心語言及基礎庫都被認為是穩定的，就是說，將來的1.x版本應該確保源 向後相容。自alpha版本以來，idri...
依賴型別語言Idris發布1 0版本
英國聖安德魯大學講師 idris建立者edwin brady寫道，在達到alpha階段幾個月之後，idris 1.0發布。1.0版本發布，最關鍵的一點是其核心語言及基礎庫都被認為是穩定的，就是說，將來的1.x版本應該確保源 向後相容。自alpha版本以來，idris就一直致力於工具和庫的支援，同時，...
依賴型別語言Idris發布1 0版本
英國聖安德魯大學講師 idris建立者edwin brady寫道，在達到alpha階段幾個月之後，idris 1.0發布。1.0版本發布，最關鍵的一點是其核心語言及基礎庫都被認為是穩定的，就是說，將來的1.x版本應該確保源 向後相容。自alpha版本以來，idris就一直致力於工具和庫的支援，同時，...