Articles liés à Type-Level Thinking: Safer APIs and Invariants in Haskell...
Synopsis
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 construction
Encoding domain rules with phantom types and smart constructors
Leveraging GADTs and type-level programming in Haskell
Using F#’s discriminated unions and units of measure for stronger models
Eliminating whole classes of bugs through expressive type design
Refactoring legacy code into safer, intention-revealing systems
Through 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Type-Level Thinking: Safer APIs and Invariants in Haskell...
Image d'archives
Type-Level Thinking: Safer APIs and Invariants in Haskell and F#
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 53697082-n
Acheter neuf
EUR 18,86
Expédition à EUR 2,28
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking (Paperback)
impression à la demandeVendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. 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 multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9798248020133
Acheter neuf
EUR 21,21
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Type-Level Thinking: Safer APIs and Invariants in Haskell and F#
impression à la demandeVendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur I-9798248020133
Acheter neuf
EUR 21,34
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking: Safer APIs and Invariants in Haskell and F#
Edité par
Independently published, 2026
ISBN 13 : 9798248020133
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 53697082
Acheter D'occasion
EUR 19,67
Expédition à EUR 2,28
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur L2-9798248020133
Acheter neuf
EUR 22,21
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur L2-9798248020133
Acheter neuf
EUR 20,60
Expédition à EUR 4,86
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking: Safer APIs and Invariants in Haskell and F#
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 53697082-n
Acheter neuf
EUR 20,59
Expédition à EUR 17,53
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking: Safer APIs and Invariants in Haskell and F#
Edité par
Independently published, 2026
ISBN 13 : 9798248020133
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 53697082
Acheter D'occasion
EUR 21,64
Expédition à EUR 17,53
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Type-Level Thinking (Paperback)
impression à la demandeVendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. 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. N° de réf. du vendeur 9798248020133
Acheter neuf
EUR 24,06
Expédition à EUR 43,24
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)