Thinking with Type level Programming in Haskell 1st edition by Sandy Maguire

Thinking with Types Type level Programming in Haskell 1st edition by Sandy Maguire – Ebook PDF Instant Download/Delivery:

Full download Thinking with Types Type level Programming in Haskell 1st edition after payment

Product details:

Author:Sandy Maguire

Developed for the intermediate-to-professional Haskell programmer looking for a deeper understanding of the type system and its extensions. Thinking with Types emphasizes writing code that is compiler-verified to be correct, safe and user-friendly. The author has carefully presented the material in an accessible manner – realizing that not everyone who wishes to learn about type-level programming is a post-doctorate in mathematics. This book covers the majority of Haskell’s type-related language extensions, including rank-n types, GADTs, type families, dependent types and rebindable syntax. Throughout early chapters, readers are introduced to the core fundamentals of type systems. Later chapters refine these ideas, often employing several of them at the same time to accomplish real-world goals.

Thinking with Types Type level Programming in Haskell 1st Table of contents:

The Algebra Behind Types

2 Terms, Types and Kinds 

4 Working with Types

5 Constraints and GADTs

6 Rank-N Types 

7 Existential Types 

8 Roles

9 Associated Type Families 

11 Extensible Data 

12 Custom Type Errors

13 Generics

14 Indexed Monads

People also search for Thinking with Types Type level Programming in Haskell 1st:

thinking with types type level programming in haskell

what is type 1 thinking

thinking with types type level programming in haskell pdf

type a thinking

what are the 2 types of thinking

Tags:

Sandy Maguire,Thinking,Programming,Haskell