A common question at the minute (meaning about 3 people have asked) is: will you update the book for Idris 2?
Short answer: It'll still be entirely relevant. Idris 2 won't be gratuitously different from Idris 1, it'll just work better. /cc @ManningBooks
-
Show this thread
-
There will be small differences, but only in the interest of improving things, and the new stuff is compatible. Changes are mostly to do with type erasure, and I'm considering adding an Idris 1 compatibility mode, if only for learning purposes.
4 replies 1 retweet 4 likesShow this thread
At the very least, I'll make sure updated code is online! And I suppose this is as good a point as any for another gratuitous plug. https://www.manning.com/books/type-driven-development-with-idris … with 50% off the eBook today (20181217) via https://www.manning.com/dotd !
0 replies
7 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.