[B! Idris] u_wot_m8のブックマーク

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

u_wot_m8 2017/04/02

Idris

リンク

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,

u_wot_m8 2016/12/28

Idris

リンク

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

u_wot_m8 2016/12/02

リンク

https://msp-strath.github.io/spls-16/slides/deMuijnck-Hughes.pdf

u_wot_m8 2016/11/16

Idris

リンク

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

u_wot_m8 2016/02/04

Idris

リンク

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

u_wot_m8 2015/10/15

リンク

Type-Driven Development with Idris

pro $24.99 per month access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks! share your subscription with another person choose one free eBook per month to keep exclusive 50% discount on all purchases lite $19.99 per month access to all Manning books, including MEAPs! team 5, 10 or 20 seats+ for your team - learn more

u_wot_m8 2015/09/11

Idris

リンク

Learning Idris (Part 1)

u_wot_m8 2015/04/30

Idris

リンク

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