About this Book Type-Driven Development with Idris is about making types work for you. Types are often seen as a tool for checking for errors, with the programmer writing a complete program first and using the type checker to detect errors. In type-driven development, you use types as a tool for constructing programs, and the type checker as your assistant to guide you to a complete and working program. This book begins by describing what you can express with types; then, it introduces the core features of the Idris programming language. Finally, it describes some more-practical applications of type-driven development. Who Should Read This Book This book is aimed at developers who want to learn about the state of the art in using sophisticated type systems to help develop robust software. It aims to provide an accessible introduction to dependent types, and to show how modern type-based techniques can be applied to real-world problems. Readers will ideally already be familiar with functional programming concepts such as closures and higher-order functions, although the book introduces these and other concepts as necessary. Knowledge of another functional programming language such as Haskell, OCaml, or Scala will be particularly helpful, though none is assumed.
✔ Author(s): Edwin Brady
✔ Title: Type-Driven Development with Idris
✔ Rating : 4.9 out of 5 base on (24 reviews)
✔ ISBN-10: 1617293024
✔ ISBN-13: 9781617293023
✔ Language: English
✔ Format ebook: PDF, EPUB, Kindle, Audio, HTML and MOBI
✔ Device compatibles: Android, iOS, PC and Amazon Kindle
Readers' opinions about Type by Edwin Brady
Virginia Savage
The depth of character development was astounding. I felt like I knew each person intimately, understanding their hopes, fears, and dreams. It made the story so much more meaningful.
Kara Snyder
I loved the powerful messages hidden within the story. The book tackled important social issues and made me ponder the world we live in. It's a must-read for everyone.
Laura Hill
The themes of resilience and hope resonated deeply with me. This book taught me valuable life lessons that I'll carry with me for years to come.
