Program & Type

The cause of many software errors is a mismatch of data types. A strong type system allows for the avoidance of a whole class of errors and ensures data integrity throughout the entire application. A developer who masters the use... of types in everyday practice will create higher quality code and save time that would be needed to hunt down tricky errors related to data.
This book explains how to use typing to create software that is not only safe and runs without crashes but also ensures ease of maintenance.
Examples of problem-solving written in TypeScript will help you develop your skills in working with types, starting from simple data types and moving on to more complex concepts such as functors and monads.