Idris 1.0 Released | Idris
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
Idris 0.99 Released | Idris
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,
Towards Version 1.0 | Idris
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
Idris: Type safe printf
Demonstrating creation of a type safe printf function using Idris, a dependently typed programming language. The result is here: https://gist.github.com/puffnfresh/11202637
Exploring Reverse Theorem Proving with Idris | Stack Builders Blog
Constructors are red. Types are blue. Your code always works Because Idris loves you. In How Functional Programming Mattered, Zhenjiang Hu, John Hughes, and Meng Wang argue that (pure) functional programming has changed the way we think about programs. An important part of the reason why is equational reasoning and referential transparency. As an example, Hu, Hughes, and Wang use a function to rev
Type-Driven Development with Idris
Effective Platform Engineering—Save 45% TODAY ONLY!
Try Idris
Idris is a language for practical, dependently typed, functional programming. The Idris Tutorial is the best resource for becoming familiar with with the language. You can use the REPL above to play around without installing the compiler on your computer. Give these examples a go: "Hello world" reverse (the (Vect 3 _) [1, 2, 3]) the (n ** Vect (S n) Int) (3 ** [1, 2, 3, 4]) You can also compile Id
Idris: General Purpose Programming with Dependent Types
Speaker: Dr Edwin Brady London Haskell user group. 22nd January 2014. Background at http://www.idris-lang.org/
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Polynomial Lens in Idris
Reddit - Dive into anything
Proving fib equivalence
Idris reverse proofs
Proving stuff with Idris
m3ga blog
https://msp-strath.github.io/spls-16/slides/deMuijnck-Hughes.pdf
Learning Idris (Part 1)