サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
ドラクエ3
www.idris-lang.org
Idris version 1.0 has been released. You can find it on hackage or from the download page. Documentation is available from docs.idris-lang.org. Thanks to everyone who has contributed, whether by providing code, documentation, testing, issue reports, or encouragement. You can find the names of the contributors in the source repository. What do we mean by “1.0”? Idris version 1.0 corresponds to the
A new version of Idris, 0.99, has been released. You can find this on hackage, or from the download page. Documentation is available from docs.idris-lang.org. The changes since version 0.12 are detailed below. This is an important step towards releasing version 1.0, with the language more or less stable now. Between now and releasing 1.0, we’ll be focussing on fixing up the most important issues,
Now that the language is getting stable, and that the Idris book, Type-driven Development with Idris is nearing publication, it’s getting close to time to release version 1.0. We’ll shortly be releasing Idris version 0.99, which is essentially an alpha release of 1.0, and we’ll keep releasing updates until 1.0 is ready, probably around February 2017. There’s still plenty to do, which we’ll be work
A new version of Idris, 0.9.15.1, has been released. You can find this on hackage, or from the download page. The tutorial has also been updated. Thanks as always to everyone who has contributed, either with code, documentation or by testing and reporting issues. You can find the names of all contributors in the CONTRIBUTORS file in the source repository. Idris is still research software, so we ex
A new version of Idris, 0.9.14, has been released. You can find this on hackage, or from the download page. The tutorial has also been updated. This release is primarily to improve robustness and efficiency, and solves several long-standing issues. There is also a new, improved, JavaScript backend and better syntactic support for reflection. Thanks as always to everyone who has contributed, either
A new version of Idris, 0.9.11.1, has been released. You can find this on hackage, or from the download page. The tutorial has also been updated. This release mostly improves robustness and efficiency. The user visible changes are: Agda-style equational reasoning (in Syntax.PreorderReasoning) case construct now abstracts over the scrutinee in its type Added label type 'name (equivalent to the empt
Idris: A Language for Type-Driven Development Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give
このページを最初にブックマークしてみませんか？
『Idris: A Language for Type-Driven Development』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
