TypeDriven Development with Idris
$56.46
Sale price
$56.46
Regular price
$56.46
Skip to product information
✓ Verified
TypeDriven Development with Idris
$56.46
Sale price
$56.46
Regular price
$56.46
Sold by Ergodemedia, an authorized reseller of Authentic New & Used Books with Free US Shipping.
30-day returns by mail · Refunded to original payment method | support@ergodemedia.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch via USPS / UPS
- Securely packed to ensure your book arrives in the described condition
- Tracking number sent via email once dispatched
- Taxes calculated at checkout. International shipping not available.
Returns & Refund
Returns accepted within 30 days of delivery. Returns are processed by mail. Refunds are issued to the original payment method within 5–7 business days of receiving the returned item.
Damaged, Defective or Misrepresented Item
Free return shipping by mail · Full refund to original payment method
Wrong Item Received
Free return shipping by mail · Full refund or replacement at your choice
Change of Mind
Return shipping at customer's expense · Book must be in the same condition as received · Refund to original payment method
All returns require a Return Authorization (RA) number before sending. Original shipping charges are non-refundable.
View Full Return & Refund Policy
Safety & Compliance
⚠️
California Proposition 65 Warning
Some products sold on this website may expose you to chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
www.P65Warnings.ca.gov
📖
Book Condition & Care Notice
Used books are graded and described accurately — condition details are listed on each product page. Books may contain previous owner's handwriting, highlights, or stamps unless stated as new. Store books away from direct sunlight and moisture to preserve their condition.
New books are sealed or unread. Used books are inspected before dispatch.
ℹ️
Product Authenticity & Notice
All books sold by Ergodemedia are 100% authentic, sourced directly from publishers and trusted distributors. Book condition is accurately graded and described. Some books may contain previous owner's markings or inscriptions.
Ergodemedia — Authentic New & Used Books. Free US Shipping. Delivered to Your Door.
Description
Summarytype-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 Technologystop 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 ThatS Easy To Maintain, Test, And Extend. Idris Is A Haskell-Like Language With First-Class, Dependent Types ThatS Perfect For Learning Type-Driven Programming Techniques You Can Apply In Any Codebase.About The Booktype-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, YouLl Learn Type-Driven Development Of Real-World Software, As Well As How To Handle Side Effects, Interaction, State, And Concurrency. By The End, YouLl Be Able To Develop Robust And Verified Software In Idris And Apply Type-Driven Development Methods To Other Languages.WhatS Insideunderstanding Dependent Typestypes As First-Class Language Constructstypes As A Guide To Program Constructionexpressing Relationships Between Dataabout The Readerwritten For Programmers With Knowledge Of Functional Programming Concepts.About The Authoredwin Brady Leads The Design And Implementation Of The Idris Language.Table Of Contentspart 1 - Introductionoverviewgetting Started With Idrispart 2 - Core Idrisinteractive Development With Typesuser-Defined Data Typesinteractive Programs: Input And Output Processingprogramming With First-Class Typesinterfaces: Using Constrained Generic Typesequality: Expressing Relationships Between Datapredicates: Expressing Assumptions And Contracts In Typesviews: Extending Pattern Matchingpart 3 - Idris And The Real Worldstreams And Processes: Working With Infinite Datawriting Programs With Statestate Machines: Verifying Protocols In Typesdependent State Machines: Handling Feedback And Errorstype-Safe Concurrent Programming
Product Notice
This book is sold in used condition unless explicitly stated as new.
Condition is graded and described accurately. Some books may contain
previous owner's markings, highlights, or inscriptions. This product
may contain chemicals known to the State of California to cause cancer
or reproductive harm. For more information visit
www.P65Warnings.ca.gov
Shop The Full Collection
