9798248020133 - type-level thinking: safer apis and invariants in haskell and f# de hawthorn, amara (9 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,86
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 19,67
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 22,21
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,60
Envío por EUR 4,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,59
Envío por EUR 17,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 21,64
Envío por EUR 17,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
- Impresión bajo demanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 21,21
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 21,34
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 24,06
Envío por EUR 43,24Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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.
