Type-Level Thinking (Paperback)

Lingua: inglese

Editore: Independently Published, 2026

9798248020133

Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Brossura

Condizione: Nuovo

EUR 24,55

EUR 44,12 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Paperback. Type-Level Thinking: Safer APIs and Invariants in Haskell and F#What if your compiler could catch entire categories of bugs before your code ever runs?In Type-Level Thinking, you'll discover how to turn advanced type systems into practical tools for building bulletproof software. This hands-on, insight-driven guide shows you how to encode business rules, invariants, and domain constraints directly into the type system-so invalid states become unrepresentable and runtime errors become compile-time guarantees.Focusing on Haskell and F#, the book bridges theory and real-world engineering. You'll move beyond basic algebraic data types into powerful techniques such as: Designing APIs that enforce correctness by constructionEncoding domain rules with phantom types and smart constructorsLeveraging GADTs and type-level programming in HaskellUsing F#'s discriminated unions and units of measure for stronger modelsEliminating whole classes of bugs through expressive type designRefactoring legacy code into safer, intention-revealing systemsThrough clear explanations, practical examples, and progressive case studies, you'll learn to think in types-not just use them. Whether you're designing financial systems, distributed services, or domain-driven applications, you'll see how type-level techniques reduce complexity, improve maintainability, and make your APIs self-documenting. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Codice articolo 9798248020133

Titolo
Type-Level Thinking (Paperback)
Autore
Amara Hawthorn
Editore
Independently Published
Anno di pubblicazione
2026
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 13
9798248020133

CitiRetail

Stevenage, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 7 a 14 giorni lavorativiDa 7 a 60 giorni lavorativi
Primo articoloEUR 44,12EUR 44,12
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Online business

Informazioni sull’azienda del venditore

ABC BOOKS LIMITED

10 John Street
London, Regno Unito WC1N 2EB