This looks like a nice book but I'm wondering if the overhead of learning Idris on top of Coq (which I'm familiar with) would have any benefits - would you say it's different enough from Software Foundations?
I haven't gone through SF yet, but I believe TDDwI and SF have very different goals. TDDwI is about hands-on development with a particular language, whereas SF uses Coq to investigate and formally verify broad theoretical topics, right?
TDDwI is also my pick for the year. It's really well done.
You're right that SF is more theoretical. I guess I was curious if the benefit of the book comes from being newly exposed to a dependently-typed language in general or the actual topics of the book, if that makes sense. It sounds like it's well-written though - I'll have to add it to my list. Thanks!
TDDwI is much more focused on more common programming problems than SF and using it like a general purpose language. Don't get me wrong, I love SF, but it might complement it, and be worth coming back to SF after TDDwI.
