We use cookies to make your experience better. By continuing to browse our site you are agreeing to our use of cookies. Learn more.
Type-Driven Development With Idris by Edwin Brady
£39.99
Available
Product Ref. (e.g. ISBN, SKU)
9781617293023
Published:
08 May 2017
Format:
Paperback
Number of pages:
480 pages
Dimensions:
235x187x25mm
Weight:
0.808kgs
Author:
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 type-driven 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. This book, 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.
Summary
Type-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 Technology
Stop 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 that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that's perfect for learning type-driven programming techniques you can apply in any codebase.
About the Book
Type-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, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages.
What's Inside
Understanding dependent typesTypes as first-class language constructsTypes as a guide to program constructionExpressing relationships between dataAbout the Reader
Written for programmers with knowledge of functional programming concepts.
About the Author
Edwin Brady leads the design and implementation of the Idris language.
Table of Contents
PART 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 programmingAbout the Author: Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.
| Number of pages | 480 |
|---|
We will despatch your order as quickly as we can. If, for whatever reason, a product is out of stock we will contact you to discuss the likely delivery time or an alternative product.
| First Item | 2 Items & Over | |
|---|---|---|
| UK | £3.75 | £5.00 |
| EU | £15.00 | £30.00 |
| USA & Canada | £30.00 | £50.00 |
| Rest of the World | £45.00 | £60.00 |
| Collect in Store | free | free |
Additional Delivery Information (and some really important bits):
UK Delivery
Orders for delivery in the UK are normally despatched by Royal Mail, using the RM 48 Tracked Service with most orders delivered to you within a few days of placing your order with us. For larger parcels, Courier and Signed For delivery services may be used. Signed Books are shipped in our specially made book mailing cartons, with the books themselves wrapped in paper to protect them. Sometimes we may ship your order in several parts, particularly if you have 'Pre-Order' titles in your order or titles which are held in stock with our publishing partners.
The Really Important Bit: Because we use tracked, courier and signed for delivery services, please use an address at which your parcel can be received during the normal working day, for example, you may want to have your order delivered to your work address if you're not at home during the day.
First Item @ £3.75 (sometimes a shipping supplement may be added for particularly heavy books or specific postcodes*)
2 Items & over @ £5.00 in total
Another Really Important Bit: There are a number of Postcodes in the UK for which we will need to charge a shipping supplement, this will be calculated once we know the size and weight of the shipment. For these orders we will contact customers to agree a suitable and economic method of shipping. There may also be additional time required for delivery to some areas of the United Kingdom. Where possible, we will ship book orders (under 2kg) by Royal Mail to all UK postcodes. Large multiple book orders and books over 2kg are often shipped via APC Overnight or similar, regardless of Postcode.
Overseas Delivery
Shipments to EU countries:
First Item @ £15.00 (sometimes a shipping supplement will be added for particularly heavy books)
2 Items & over @ £30.00 in total
A really, really important Brexit bit: From 1st January 2021 shipments to EU addresses may incur additional costs which could be requested by Fed Ex at the time of delivery. These costs may vary from country to country and are not within our control and will be in addition to the costs paid to us for your delivery. If in any doubt, please check with your local Fed Ex office what, if any, additional costs will be applicable to your order - https://www.fedex.com
From 1st July 2021, VAT will be applicable to those EU countries where VAT is applied to books - this additional charge will be collected by Fed Ex (or the Royal Mail) at the time of delivery.
Shipments to the USA & Canada:
First Item @ £30.00
2 Items & over @ £50.00 in total
Shipments to the Rest of the World:
First Item @ £45.00
2 Items & over @ £60.00 in total
All overseas orders are shipped using a 'signed for' courier service - please provide an address at which your parcel can be signed for on receipt. We use the same packaging materials for our overseas deliveries as we do those in the UK. In some cases, particularly large and heavy books, or books being shipped to remote areas, may incur an additional shipping charge - if this is the case with your order, we'll notify you as quickly as possible of these charges and to arrange the additional payment. You can of course cancel your order with an immediate refund should you not wish to accept these additional costs. Shipments to overseas territories may incur additional Duty & Tax costs which could be requested by Fed Ex at the time of delivery. These costs may vary from country to country and are not within our control and will be in addition to the costs paid to us for your delivery. If in any doubt, please check with your local Fed Ex office what, if any, additional Tax & Duty costs will be applicable to your order - https://www.fedex.com
Collect in Person at Coles Books
We're open Monday - Saturday, 9:00am - 5:30pm. If you're collecting your order, please wait until you get the text, phone call or email from us, just to be on the safe side and to ensure we have your order ready for you on arrival (we'll use the contact information provided during checkout). Not everything on our website is available for immediate collection, please do wait for the text, call or email - if time is of the essence, we'd suggest you call us on 01869 320779 and check availability prior to placing your order. You can pick up your order from the till, please bring a copy of your email receipt (electronic or printed is fine).
Coming by Car
If you're coming to Coles by car, why not take advantage of the 2 hours free parking at Sainsbury's Pioneer Square - just follow the signs for Pioneer Square as you drive into Bicester and park in the multi-storey car park above the supermarket. Come down the travelators, exit Sainsbury's, turn right and follow the pedestrianised walkway to Crown Walk and turn right - and Coles will be right in front of you. You don't need to shop in Sainsbury's to get the free parking!
Where to Find Us
Coles Books
22 Crown Walk
Pioneer Square
Bicester, Oxfordshire
OX26 6HY, United Kingdom
It was the most impressive packaging that I have EVER SEEN!!! The books were in perfect condition!!!!!
Super fast delivery and well packaged. Quality item and service!