Type-Driven Development with Idris
Lingua: inglese
Editore: Manning Publications, 2017
- Brossura
- Usato
Da: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.Goodwill of Silicon Valley
Venditore AbeBooks dal 28 giugno 2024
Condizione: Usato - Buono
EUR 11,66
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
Codice articolo GWSVV.1617293024.G
- Titolo
- Type-Driven Development with Idris
- Autore
- Brady, Edwin
- Editore
- Manning Publications
- Anno di pubblicazione
- 2017
- Condizione
- good
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 1617293024
- ISBN 13
- 9781617293023
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 types
- Types as first-class language constructs
- Types as a guide to program construction
- Expressing relationships between data
About 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
- Overview
- Getting started with Idris
PART 2 - CORE IDRIS
- Interactive development with types
- User-defined data types
- Interactive programs: input and output processing
- Programming with first-class types
- Interfaces: using constrained generic types
- Equality: expressing relationships between data
- Predicates: expressing assumptions and contracts in types
- Views: extending pattern matching
- Streams and processes: working with infinite data
- Writing programs with state
- State machines: verifying protocols in types
- Dependent state machines: handling feedback and errors
- Type-safe concurrent programming
PART 1 - INTRODUCTION
PART 3 - IDRIS AND THE REAL WORLD
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Informazioni sull’autore
Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Goodwill of Silicon Valley
SAN JOSE, CA, U.S.A.
Venditore AbeBooks dal 28 giugno 2024
Tariffe di spedizione nazionale per U.S.A.
| Articolo | Da 3 a 5 giorni lavorativi | Da 1 a 3 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 3,56 | EUR 7,13 |
Metodi di pagamento
Descrizione dello Store
Goodwill of Silicon Valley’s mission is to support our employees, our customers, and people with challenging barriers to employment; to raise their standard of living and improve their lives through our services and social enterprise. Founded in Santa Clara County in 1928, Goodwill of Silicon Valley is dedicated to improving employment opportunities, increasing standards of living, providing economic independence, and restoring our clients’ sense of self-worth. We do this through workforce creation, vocational training, and environmental stewardship. With 18 retail stores, an online store, an extensive reuse/recycling operation, and our Contract Services division, we help people overcome barriers to employment, build sustainable livelihoods, and transform their lives and communities.…
Specializzazione
All, potentially Comics and Collectibles as wellInformazioni sull’azienda del venditore
Goodwill of Silicon Valley
1080 North 7th Street
San Jose, CA U.S.A. 95112
Condizioni di vendita
Goodwill of Silicon Valley’s mission is to support our employees, our customers, and people with challenging barriers to employment; to raise their standard of living and improve their lives through our services and social enterprise.
Founded in Santa Clara County, California, USA in 1928, Goodwill of Silicon Valley is dedicated to improving employment opportunities, increasing standards of living, providing economic independence, and restoring our clients’ sense of self-worth. We do this through workforce creation, vocational training, and environmental stewardship. With 18 retail stores, an online store, an extensive reuse/recycling operation, and our Contract Services division, we help people overcome barriers to employment, build sustainable livelihoods, and transform their lives and communities.
Diritto di recesso
Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.
Informazioni sul diritto di recesso
Diritto legale di recesso
Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).
Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.
Effetti del recesso
In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).
Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.
Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.
Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.
Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.
Dovrai rispedire i beni o consegnarli a Goodwill of Silicon Valley, SAN JOSE, California, U.S.A., senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica a:
- La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
- La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.
Condizioni di spedizione
Books are shipped 1-2 business days following receipt of payment.
Standard flat rate shipping $15.00 per item via Fedex.
Delivery between 14-28 days.