Doesn't suit? No problem! You can return within 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
30-day return policy
Type-Driven Development is an approach to programming that uses a static type system to achieve desirable attributes such as safety and efficiency. This book will cover Type-Driven Development and how to put the type system to use to check that your code is logically consistent.
Hi! I'm Libroamiko, your book advisor.
How can I help you?