Type-driven Development with Idris (Paperback)
  • Type-driven Development with Idris (Paperback)
zoom

Type-driven Development with Idris (Paperback)

(author)
£27.99
Paperback 480 Pages / Published: 03/05/2017
  • Publisher out of stock

Currently unavailable to order

This product is currently unavailable.

  • This item has been added to your basket

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

are explicit and checkable, and you can precisely state and verify

properties. Type-driven development lets users write extensible code,

create simple specifications very early in development, and easily

create mock implementation for testing.

Type-Driven Development with Idris, written by the creator of Idris,

teaches programmers how to improve the performance and accuracy of

programs by taking advantage of a state-of-the-art type system. This

book teaches readers using Idris, a language designed from the very

beginning to support type-driven development. Readers learn how to

manipulate types just like any other construct (numbers, strings, lists,

etc.). This book teaches how to use type-driven development to build

real-world software, as well as how to handle side-effects, state and

concurrency, and interoperating with existing systems. By the end of

this book, readers will be able to develop robust and verified software

in Idris and apply type-driven development methods to programming

in 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

AUDIENCE

Written for programmers with knowledge of basic functional programming

concepts.

ABOUT THE TECHNOLOGY

Type-driven development lets you write extensible code, create simple

specifications very early in development, and easily create mock

implementation for testing. In type-driven development, types become your

tools for constructing programs and, used appropriately, can show the

absence of errors.

Publisher: Manning Publications
ISBN: 9781617293023
Number of pages: 480
Weight: 808 g
Dimensions: 237 x 188 x 25 mm

You may also be interested in...

Test Driven Development
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
User Story Mapping
Added to basket
£27.99
Paperback
Coaching Agile Teams
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Implementing Domain-Driven Design
Added to basket
Git Pocket Guide
Added to basket
Agile Product Management with Scrum
Added to basket
Data Management Using Stata
Added to basket
Peopleware
Added to basket
£33.49
Paperback
Designing Data-Intensive Applications
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Design Patterns
Added to basket
£44.49
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.