News for hackers. Stuff that matters.

A comment on Things that Idris improves things over Haskell. Parent comment

Re:Things that Idris improves things over Haskell by lodi on Friday June 16, 2017 @10:23AM (#14569242)
If anyone is having trouble understanding the raw code linked above, the official book[1] introduces all three of those concepts gently and intuitively. I highly recommend it!

[1] https://www.manning.com/books/type-driven-development-with-i...

[ Parent | on HN ]
Re:Things that Idris improves things over Haskell by Buttons840 on Friday June 16, 2017 @10:40AM (#14569405)
The book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.
[ Parent | on HN ]