Type-driven Development with Idris
Mega Sale! Save 30% on the Type-driven Development with Idris by Manning Publications at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs
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.
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
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.
- Understanding dependent types
- Types as first-class language constructs
- Types as a guide to program construction
- Expressing relationships between data
About the Reader
Written for programmers with knowledge of functional programming concepts.
About the Author
Edwin Brady leads the design and implementation of the Idris language.
Table of Contents
PART 1 - INTRODUCTION
- Getting started with Idris
PART 2 - CORE IDRIS
- Interactive development with types
- User-defined data types
- Interactive programs: input and output processing
- Programming with first-class types
- Interfaces: using constrained generic types
- Equality: expressing relationships between data
- Predicates: expressing assumptions and contracts in types
- Views: extending pattern matching
PART 3 - IDRIS AND THE REAL WORLD
- Streams and processes: working with infinite data
- Writing programs with state
- State machines: verifying protocols in types
- Dependent state machines: handling feedback and errors
- Type-safe concurrent programming
|Item Weight:||0 pounds|
|Item Size:||0.9 x 9.2 x 9.2 inches|
|Package Weight:||1.8 pounds|
|Package Size:||7.28 x 1.1 x 1.1 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Manning Publications, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By CreateSpace Independent Publishing Platform
ean: 9781721757282, isbn: 1721757287,
If you wish to enter the world of ethical hacking, this book is for you. Ethical Hacking: A Comprehensive Beginner’s Guide to Learn and Master Ethical Hacking will walk you through the processes, skills, and tools you need to succeed. If you want t...
By Packt Publishing - ebooks Account
ean: 9781788299671, isbn: 1788299671,
Complement Selenium with useful additions that fit seamlessly into the rich and well-crafted API that Selenium offersKey FeaturesUnderstand the power, simplicity, and limitations of the core Selenium frameworkWrite clear, readable, and reliable tests...
By O Reilly Media
ean: 9781491954089, isbn: 1491954086,
Prototyping and user testing is the best way to create successful products, but many designers skip this important step and use gut instinct instead. By explaining the goals and methodologies behind prototyping—and demonstrating how to prototype fo...
By Auerbach Publications
ean: 9781439826966, isbn: 143982696X,
Although many software books highlight open problems in secure software development, few provide easily actionable, ground-level solutions. Breaking the mold, Secure and Resilient Software Development teaches you how to apply best practices and stand...
By Mercury Learning & Information
ean: 9781942270768, isbn: 1942270763,
An updated version of the bestselling Game Testing All In One, Second Edition, this book equips the reader with the rationale for vigorous testing of game software, how game testing and the tester fit into the game development process, practical know...
By Technics Publications
ean: 9781634621267, isbn: 1634621263,
This is the single best book ever written on data quality. Clear, concise, and actionable. We all want to leverage our data resources to drive growth, but we too often ignore the fundamentals of data quality, which almost always inhibits our success....
By Patton, Ron
mpn: Illustrations, ean: 9780672327988, isbn: 0672327988,
Software Testing, Second Edition provides practical insight into the world of software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when software is ready fo...
By O Reilly Media
ean: 9781491917626, isbn: 1491917628,
Are you satisfied with the way your company responds to IT incidents? How prepared is your response team to handle critical, time-sensitive events such as service disruptions and security breaches? IT professionals looking for effective response mode...
mpn: 33530558, ean: 9781461406846, isbn: 1461406846,
R is a powerful and free software system for data analysis and graphics, with over 5,000 add-on packages available. This book introduces R using SAS and SPSS terms with which you are already familiar. It demonstrates which of the add-on packages are ...
By Ilene Burnstein
ean: 9780387951317, isbn: 0387951318,
Based on the needs of the educational community, and the software professional, this book takes a unique approach to teaching software testing. It introduces testing concepts that are managerial, technical, and process oriented, using the Testing Mat...