Yawar Amin Libri

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.