Type-Driven Development With Idris by Edwin Brady

45.99 GBP

Master Idris by mastering its type system: this book walks through dependent types, totality proofs, and effect handling with concise examples, showing how precise typing drives safer, more reliable code.

Brand: Manning Publications
ISBN: 1617293024
Sponsored  This site contains affiliate links for which we may receive compensation. More information
45.99 GBP 45.99 GBP
29-04-2026 04:12:45
Country of publication UNITED STATES
Dimensions (H) 235mm, (W) 188mm, (D) 25mm
Imprint Manning Publications
ISBN 9781617293023
Languages English
Page count 480
Publisher Pearson Professional Education
Status In Print
Target audience Professional and scholarly
Weight 824 grams