• 30 dagen retourgarantie 
  • Gratis verzending vanaf 4 boeken of 40 euro
  • Alle boeken met zorg gecontroleerd
Naar de startpagina
Naar de startpagina
Bestellen

Type-driven Development with Idris

Auteur Edwin Brady
component.cms.imageGallery.skipImageGallery
Type-driven Development with Idris
Maak tweedehands je eerste keus
  • 30 dagen retourgarantie 
  • Gratis verzending vanaf 4 boeken of 40 euro
  • Alle boeken met zorg gecontroleerd
  • Voor 15:00u besteld, dezelfde dag verzonden

41,90

Hoe tweedehands wil je het hebben?
Type-driven Development with Idris
Type-driven Development with Idris
Als nieuw
41,90
10000405381
ISBN
9781617293023
Bindwijze
Paperback
Taal
Engels
Auteur
Edwin Brady
Uitgeverij
Manning Publications
Jaar van uitgifte
2017
Aantal pagina's
480

Waar gaat het over?

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.
Lees verder

Recensies

0 recensies

Meer in Taal en cultuur

Kwispelen met taal
Kwispelen met taal
Geef me een seintje
The History of the International Biometric Society
The History of the International Biometric Society
Tweedehands Als nieuw
42,85
De stad, een jaar, het boek
Tweedehands Als nieuw
20,00
Griechische Frühgeschichte bis 500 v. Chr.
Griechische Frühgeschichte bis 500 v. Chr.
Tweedehands Beetje gebruikt
30,10
Fiscaal compendium: btw 2024
Fiscaal compendium: btw 2024
Tweedehands Als nieuw
199,95
Fiscaal praktijkboek directe belastingen 2024-2025
Fiscaal praktijkboek directe belastingen 2024-2025
Tweedehands Als nieuw
303,80
Kwispelen met taal
Kwispelen met taal
Geef me een seintje
The History of the International Biometric Society
The History of the International Biometric Society
Tweedehands Als nieuw
42,85
De stad, een jaar, het boek
Tweedehands Als nieuw
20,00
Griechische Frühgeschichte bis 500 v. Chr.
Griechische Frühgeschichte bis 500 v. Chr.
Tweedehands Beetje gebruikt
30,10
Fiscaal compendium: btw 2024
Fiscaal compendium: btw 2024
Tweedehands Als nieuw
199,95
Fiscaal praktijkboek directe belastingen 2024-2025
Fiscaal praktijkboek directe belastingen 2024-2025
Tweedehands Als nieuw
303,80