Skip to main content

Pragmatic Type-Level Design

Series: Haskell Books
Title
Pragmatic Type-Level Design
Authors
Alexander Granin
Publisher
Self-Published

Blurb

Pragmatic Type-Level Design is a groundbreaking exploration of type-level programming. Unlike other books flirting with a type system and mathematics, this book emphasizes practical applications: best practices, use cases, design patterns, principles, and application architectures universal to various statically typed languages, such as Scala, Rust, Haskell, C++, OCaml and F#. The model language is Haskell, but there is the Rosetta Stone part with the same ideas translated to Scala 3 and Rust.

Editions

  • First Edition
    • Published: 2024
    • Pages: 409
    • Color: color
Author

Travis Cardwell

Published

Tags