Type-Level Thinking: Safer APIs and Invariants in Haskell and F# - Softcover

Hawthorn, AMARA

Softcover

ISBN 13: 9798248020133

Verlag: Independently published, 2026

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Independently published
• Erscheinungsdatum: 2026
• Sprache: Englisch
• ISBN 13: 9798248020133
• Einband: Taschenbuch
• Anzahl der Seiten: 208
• Kontakt zum Hersteller: Manufactured by Amazon on behalf of the author; https://www.amazon.de/hz/contact-us; ; c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy; Luxembourg; L-1855; Luxemburg