Type-Driven Development with Idris
Language: English
Published by Manning Publications, 2017
- Softcover
- Used
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.Goodwill of Silicon Valley
AbeBooks seller since June 28, 2024
Condition: Used - Good
US$ 12.68
Quantity: 1 available
Add to basketItem description from seller
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
Seller Inventory # GWSVV.1617293024.G
- Title
- Type-Driven Development with Idris
- Author
- Brady, Edwin
- Publisher
- Manning Publications
- Publication year
- 2017
- Condition
- good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 1617293024
- ISBN 13
- 9781617293023
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.
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
- Overview
- Getting started with IdrisPART 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
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
Goodwill of Silicon Valley
SAN JOSE, CA, U.S.A.
AbeBooks seller since June 28, 2024
Shipping rates within U.S.A.
| Item | 3 to 5 business days | 1 to 3 business days |
|---|---|---|
| First item | US$ 3.99 | US$ 7.99 |
Payment methods
Store description
Goodwill of Silicon Valley’s mission is to support our employees, our customers, and people with challenging barriers to employment; to raise their standard of living and improve their lives through our services and social enterprise. Founded in Santa Clara County in 1928, Goodwill of Silicon Valley is dedicated to improving employment opportunities, increasing standards of living, providing economic independence, and restoring our clients’ sense of self-worth. We do this through workforce creation, vocational training, and environmental stewardship. With 18 retail stores, an online store, an extensive reuse/recycling operation, and our Contract Services division, we help people overcome barriers to employment, build sustainable livelihoods, and transform their lives and communities.…
Specialty
All, potentially Comics and Collectibles as wellSeller's business information
Goodwill of Silicon Valley
1080 North 7th Street
San Jose, CA U.S.A. 95112
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks website. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.
Shipping terms
Books are shipped 1-2 business days following receipt of payment.
Standard Flat rate $3.99 shipping per item via UPS. Delivery between 3-8 days depending on location in U.S. We are located in California.