依賴型別語言Idris釋出1.0版本
英國聖安德魯大學講師、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,其GitHub庫貢獻者數量的增加,以及最近的學術著作,都說明人們對於這門語言的興趣一直在增長。這些可以看作是Idris社群開始形成的標誌,雖然這樣說還有點太早。InfoQ請求Brady對此發表評論,他的回覆如下:
\\\\\看到人們對Idris越來越感興趣當然不錯!雖然還有大量的工作要做,但我們已經達到了1.0版本,我們現在已經有了一門可以作為構建基礎的穩定語言。我當前的目標是改進核心的效率和健壯性。
\\我們仍然還有不少處於開啟狀態的問題,但是,其中有許多是關於工具和可用性,另外還有許多特性請求。如果有人想參與,則可以從那些帶有“Low Hanging Fruit”標籤的開始。如果任何人有任何問題,Idris社群都會盡量提供幫助。
\
Idris是一門純粹的函式式程式設計語言,旨在為更多的程式設計師提供基於型別的程式驗證技術,同時,還能繼續專注於成為一門通用語言,並且足夠高效,可以用於系統程式設計。想要學習Idris的讀者,可以閱讀這個教程。此外,務必要閱讀有關依賴型別程式設計的利弊。
\\相關文章
- 【重磅】VS Code 的 Java 語言支援 1.0 版本正式釋出Java
- 概念區別 【編譯型語言與解釋型語言、動態型別語言與靜態型別語言、強型別語言與弱型別語言】編譯型別
- 解釋型語言、編譯型語言 區別編譯
- 計算機語言:編譯型/解釋型、動態語言/靜態語言、強型別語言/弱型別語言計算機編譯型別
- go語言依賴注入實現Go依賴注入
- 解釋型語言與編譯型語言的區別?編譯
- 函數語言程式設計語言 Elixir 1.0 正式版釋出函數程式設計
- xmake v2.5.7 釋出,包依賴鎖定和 Vala/Metal 語言編譯支援編譯
- MAVEN釋出固定版本(不需要更改pom更新依賴的方法)Maven
- 編譯型語言和解釋型語言的區別編譯
- Swift 1.0釋出:一門語言的演進歷程Swift
- 編譯型語言與解釋型語言編譯
- Go 語言 Excel 類庫 Excelize 2.0.0 版本釋出GoExcelize
- cargo 中的版本依賴Cargo
- Java依賴版本衝突Java
- Python 語言特性:編譯+解釋、動態型別語言、動態語言Python編譯型別
- 語言型別介紹及其Python的語言型別型別Python
- 支援泛型的Go語言1.18釋出泛型Go
- Java 語言是強型別語言語言(轉)Java型別
- Go 語言 Excel 文件類庫 excelize 釋出 1.4.1 版本GoExcelize
- 狀態管理神器 moox 釋出 1.0 beta版本
- python---之編譯型語言和解釋型語言的區別Python編譯
- Python 既是解釋型語言,也是編譯型語言Python編譯
- Excelize 釋出 2.0.1 版本,Go 語言 Excel 文件基礎庫ExcelizeGo
- Excelize 釋出 2.5.0 版本,Go 語言 Excel 文件基礎庫ExcelizeGo
- Excelize 釋出 2.7.1 版本,Go 語言 Excel 文件基礎庫ExcelizeGo
- Go 語言框架 Gin 終於釋出 v1.2 版本Go框架
- yoyogo v1.7.5 釋出, 獨立依賴注入DIGo依賴注入
- NG-ZORRO(Ant Design + Angular) 1.0 版本釋出Angular
- React的替代方案Inferno釋出1.0版本React
- Nacos 多語言體系再添新員:首個 Rust 語言版本正式釋出!Rust
- npm如何管理依賴包的版本NPM
- 深入淺出依賴注入依賴注入
- go語言資料型別-基礎型別Go資料型別
- Apache Dubbo 多語言體系再添新員:首個 Rust 語言版本正式釋出ApacheRust
- Go 語言 Excel 文件類庫 excelize 釋出1.4.1版本GoExcelize
- go語言go get 匯入官方依賴的解決方法Go
- 釋出 umi 1.0 ???