Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Software Design, Testing & Engineering   Testing

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


Product Description

Summary

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.

What's Inside

  • 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

  1. Overview
  2. Getting started with Idris

    PART 2 - CORE IDRIS

  3. Interactive development with types
  4. User-defined data types
  5. Interactive programs: input and output processing
  6. Programming with first-class types
  7. Interfaces: using constrained generic types
  8. Equality: expressing relationships between data
  9. Predicates: expressing assumptions and contracts in types
  10. Views: extending pattern matching
  11. PART 3 - IDRIS AND THE REAL WORLD

  12. Streams and processes: working with infinite data
  13. Writing programs with state
  14. State machines: verifying protocols in types
  15. Dependent state machines: handling feedback and errors
  16. Type-safe concurrent programming

Additional Information

Manufacturer:Manning Publications
Brand:Manning Publications
Publisher:Manning Publications
Studio:Manning Publications
EAN:9781617293023
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

Type-driven Development with Idris by Manning Publications

Buy Now:
Type-driven Development with Idris

Brand: Manning Publications
4.5 out of 5 stars with 9 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$49.99
$35.25
You Save: 29%


Quantity:  

 


View More In Testing.

 


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.

First Name:
Last Last:
Email Address:
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...

By Springer
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...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.