依賴型別語言Idris發布1 0版本

2021-09-17 04:12:33 字數 763 閱讀 8800

英國聖安德魯大學講師、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就一直致力於工具和庫的支援,同時,...