Learn Type-Driven Development
- 180pages
- 7 heures de lecture
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.
