Type-Level Thinking (Paperback)

Idioma: inglés

Editorial: Independently Published, 2026

9798248020133

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail

Vendedor de 5 estrellas

Vendedor de IberLibro desde 29 de junio de 2022

Tapa blanda

Condición: Nuevo

EUR 24,55

Envío por EUR 44,12 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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 ref. del artículo 9798248020133

Título
Type-Level Thinking (Paperback)
Autor
Amara Hawthorn
Editorial
Independently Published
Año de publicación
2026
Estado
new
Encuadernación
Paperback
Idioma
inglés
ISBN 13
9798248020133

CitiRetail

Stevenage, Reino Unido

Vendedor de 5 estrellas

Vendedor de IberLibro desde 29 de junio de 2022

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 7 a 14 días hábilesDe 7 a 60 días hábiles
Primer artículoEUR 44,12EUR 44,12
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

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

Descripción de la tienda

Online business

Información empresarial del vendedor

ABC BOOKS LIMITED

10 John Street
London, Reino Unido WC1N 2EB