4%OFF
Type-driven Development with Idris
Edwin Brady
€ 52.99
€ 50.93
FREE Delivery in Ireland
Description for Type-driven Development with Idris
Paperback. Num Pages: 375 pages. BIC Classification: UF. .
DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In typedriven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions ... Read more
DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In typedriven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions ... Read more
Product Details
Publisher
Manning Publications
Format
Paperback
Publication date
2017
Condition
New
Number of Pages
480
Place of Publication
New York, United States
ISBN
9781617293023
SKU
V9781617293023
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-2
About Edwin Brady
Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.
Reviews for Type-driven Development with Idris