Type-Driven Development With Idris [Audiobook] download free by Edwin Brady

Type-Driven Development With Idris Audiobook download free by Edwin Brady
  • Listen audiobook: Type-Driven Development With Idris
  • Author: Edwin Brady
  • Release date: 2017/8/21
  • Language: English
  • Genre or Collection: Computing
  • ISBN: 9781617293023
  • Rating: 9.48 of 10
  • Votes: 459
  • Review by: Colton Ayres
  • Review rating: 8.58 of 10
  • Review Date: 2018/11/4
  • Duration: 6H3M35S in 256 kbps (96 MB)
  • Date of creation of the audiobook: 2018-09-25
  • You can listen to this audiobook in formats: MPC, MOD, MP3, WMA, FLAC, MPEG4, WAV (compression ZIP, BZ2, RAR, 7-ZIP)
  • Total pages original book: 480
  • Includes a PDF summary of 57 pages
  • Duration of the summary (audio): 43M49S (11.4 MB)
  • Description or summary of the audiobook: 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 softwareAUDIENCEWritten 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.
  • Other categories, genre or collection: Systems Analysis & Design, Software Engineering, Computer Programming / Software Development
  • Download servers: Microsoft OneDrive, Uploaded, Pixeldrain, Google Drive, FileServe, Hotfile, Box, BitShare. Compressed in ZIP, BZ2, RAR, 7-ZIP
  • Format: Paperback
  • Approximate value: 61.33 USD
  • Dimensions: 188x237x25mm
  • Weight: 808g
  • Printed by: Not Available
  • Published in: New York, United States

Download audiobook in:

Option 1

Option 2

Option 3

Option 4


More audiobooks of the publisher MANNING PUBLICATIONS

More audiobooks of 2017

More audiobooks of the genre or collection Computing

More audiobooks in language English