September 6, 2024 by A Reviewer (CH)
“Excellent introduction to Idris!”
pro $24.99 per month
- access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
- 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
Look inside
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.
about the technology
Stop fighting type errors! Type-driven development is an approach to coding that embraces types as the foundation of your code - essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that's perfect for learning type-driven programming techniques you can apply in any codebase.
about the book
Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages.
This book will turn your approach to software upside-down, in the best way.
Highly recommended for anyone developing software with serious safety requirements.
After reading this book, TDD took on a new meaning for me.
A clear and complete view of type-driven development that reveals the power of dependent types.
4.7
Out of 5.0
Overall Rating
100%
of customers that buy this product give
it a 4 or 5-Star rating.
August 12, 2021 by A Reviewer (GB)
“Great book, unique of its kind.”
April 25, 2021 by A Reviewer (RU)
“Very interesting!”
This book ruined programming (outside of Idris) for me
October 1, 2020 by Tom (Midlands, GB)
“Really useful introduction to type driven development and the Idris language. Easy to follow with plenty of examples. I warn readers though, once you understand the power of Idris and type driven development, using other languages (even Haskell!) becomes a chore.”
Company Choice
Because they were the only publisher of the book I wanted, but they've done a great job with the editing and style of there books
September 4, 2020 by Chris (GB)
“Idris from the horse's mouth. Will teach you a completely different way to think about your programs, while guiding through the cosy interactive development world of the Idris toolchain. I think the toolchain is sometimes smarter than I am, but, thanks to this book, I can let it solve problems and then pretend I solved them to my peers”
Company Choice
MEAPs and previous experience with the quality of Manning books
related titles
related titles
choose your plan
pro
monthly
annual
$24.99
$249.99
only $20.83 per month
- access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
- choose another free product every time you renew
- choose twelve free products per year
- exclusive 50% discount on all purchases
-
![]()
Type-Driven Development with Idris ebook for free
Type-Driven Development with Idris ebook for free
team
monthly
annual
$49.99
$399.99
only $33.33 per month
- five seats for your team
- access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
- choose another free product every time you renew
- choose twelve free products per year
- exclusive 50% discount on all purchases
-
![]()
Type-Driven Development with Idris ebook for free
choose your plan
pro
monthly
annual
$24.99
$249.99
only $20.83 per month
- access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
- choose another free product every time you renew
- choose twelve free products per year
- exclusive 50% discount on all purchases
-
![]()
Type-Driven Development with Idris ebook for free
team
monthly
annual
$49.99
$399.99
only $33.33 per month
- five seats for your team
- access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
- choose another free product every time you renew
- choose twelve free products per year
- exclusive 50% discount on all purchases
-
![]()
Type-Driven Development with Idris ebook for free
