Learn Type-Driven Development
- 180 páginas
- 7 horas de lectura
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.
