Cargando…
Type-driven development with Idris /
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Shelter Island, NY :
Manning Publications Co.,
[2017]
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | OR_ocn984515077 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 170427s2017 nyua ob 001 0 eng d | ||
| 040 | |a UMI |b eng |e rda |e pn |c UMI |d UMI |d COO |d TOH |d VT2 |d OCLCF |d CEF |d KSU |d OCLCQ |d UAB |d K6U |d YDX |d EBLCP |d OCLCO |d OCLCQ | ||
| 020 | |z 9781617293023 | ||
| 029 | 1 | |a GBVCP |b 100486163X | |
| 035 | |a (OCoLC)984515077 | ||
| 037 | |a CL0500000852 |b Safari Books Online | ||
| 050 | 4 | |a QA76.62 | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Brady, Edwin, |e author. | |
| 245 | 1 | 0 | |a Type-driven development with Idris / |c Edwin Brady. |
| 264 | 1 | |a Shelter Island, NY : |b Manning Publications Co., |c [2017] | |
| 264 | 4 | |c Ã2017 | |
| 300 | |a 1 online resource (1 volume) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Online resource; title from title page (Safari, viewed April 25, 2017). | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Introduction -- Core Idris -- Idris and the real world. | |
| 520 | 8 | |a Annotation |b 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. | |
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Idris (Computer program language) | |
| 650 | 0 | |a Functional programming (Computer science) | |
| 650 | 6 | |a Programmation fonctionnelle. | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast |0 (OCoLC)fst00936086 | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781617293023/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL6642508 | ||
| 938 | |a YBP Library Services |b YANK |n 302272825 | ||
| 994 | |a 92 |b IZTAP | ||