Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 7 - Jul 12
Promo Codes Available:
For Your Every Summer RSVP, with Code: SUMMER15
Description
Thinking with TypesDeveloped 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
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, and later chapters refine these ideas, often employing many of them simultaneously to accomplish real-world goals.
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy