3 ms·
Type-Driven Development with Idris: https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-
by bjz_ 9y ago
Type-Driven Development with Idris: https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i...
- deleted 9y ago[deleted]
- alfonsodev 9y agohow are you using ( or plan to use) Idris? for Javascript, C ? can you put some practical examples?
- miranda_rights 9y agoThis 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?
- dropbet 9y agoI 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.
- miranda_rights 9y agoYou'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!
- bjz_ 9y agoTDDwI 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.