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
✔ 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
Miah English
Explore the complexities of human relationships in this beautifully crafted novel. The author's nuanced writing and rich character development make for an engaging read. Each storyline intertwines seamlessly, creating a tapestry of interconnected lives. The emotional depth and realistic portrayal of life's challenges resonate deeply. It's a book that stays with you long after you've finished reading. Perfect for fans of literary fiction.
Leeann Little
Embark on a journey through time with a historical novel that spans generations. The author's meticulous research and engaging prose create a vivid and immersive experience. Each character's story is intricately woven into the fabric of history. The narrative explores themes of legacy, identity, and change with depth and insight. It's a captivating blend of personal and historical drama. Perfect for fans of multi-generational sagas.
Aviana Olsen
Experience the emotional journey of a character discovering their true self in this moving novel. The author's empathetic writing and rich character development create a deeply resonant narrative. Each chapter explores themes of identity, acceptance, and love with sensitivity. The plot's twists and turns keep you engaged from start to finish. It's a heartwarming and thought-provoking read. Perfect for readers who enjoy stories about personal growth and self-discovery.
