Learn Type-Driven Development
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.
Offered by
Difficulty Level
Intermediate
Completion Time
6h
Language
English
About Book
Who Is This Book For?
If you’re a programmer working with dynamically typed languages and are looking for ways to mitigate production runtime errors, Learn Type-Driven Development is for you. You’ll also find this book helpful if you’re a programmer working with statically typed languages looking for increased safety and improved performance.
Learn Type-Driven Development
- About Book
- Who Is This Book For?
- Book Content
Book content
chapters • 6h total length
Start Type-Driven Development
Program with types and values
Package types and values together
Group values together in types
Put alternative values in types
Make types that can ‘slot in’ any other type
" Make types that represent operations"
"Reuse code with many different types"
"Extend types with new behavior"
"Bring it all together"
Related Resources
Access Ready-to-Use Books for Free!
Get instant access to a library of pre-built books—free trial, no credit card required. Start training your team in minutes!