Edwin Brady - Type-driven Development with Idris - Paperback

New Store Stock
About this Item

The item is a book Paperback
The Author Name is Edwin Brady
The Title is Type-driven Development with Idris

Condition New

Other Comments
New Store Stock
Category - Computers


Product Description -
DESCRIPTIONTypes are often seen as a tool for checking errors, with theprogrammer writing a complete program first and using the typechecker to detect errors. And while tests are used to show presence oferrors, they can only find errors that you explicitly test for. In typedrivendevelopment, types become your tools for constructingprograms and, used appropriately, can show the absence of errors. Andyou can express precise relationships between data, your assumptionsare explicit and checkable, and you can precisely state and verifyproperties. Type-driven development lets users write extensible code,create simple specifications very early in development, and easilycreate mock implementation for testing. Type-Driven Development with Idris, written by the creator of Idris,teaches programmers how to improve the performance and accuracy ofprograms by taking advantage of a state-of-the-art type system. Thisbook teaches readers using Idris, a language designed from the verybeginning to support type-driven development. Readers learn how tomanipulate types just like any other construct (numbers, strings, lists,etc.). This book teaches how to use type-driven development to buildreal-world software, as well as how to handle side-effects, state andconcurrency, and interoperating with existing systems. By the end ofthis book, readers will be able to develop robust and verified softwarein Idris and apply type-driven development methods to programmingin other languages. KEY FEATURES* Written by the creator of Idris* Improve performance and accuracy of programs* Teaches Idris, a new type-driven development language* Hands-on code examples* Build real-world software AUDIENCEWritten for programmers with knowledge of basic functional programmingconcepts. ABOUT THE TECHNOLOGYType-driven development lets you write extensible code, create simplespecifications very early in development, and easily create mockimplementation for testing. In type-driven development, types become yourtools for constructing programs and, used appropriately, can show theabsence of errors.

When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details are provided automatically from our central master database and can sometimes be wrong.

Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.  The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling.

 

Gift Ideas
This is a great gift idea.

 

Hours of Service
We have many warehouses, some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday.

Location ID 245z

iHaveit SKU ID 174057658