Programming with Types: Examples in TypeScript
- 5h 44m
- Vlad Riscutia
- Manning Publications
- 2020
Type-related failures are common and can be very costly. Famously, in 1999, NASA's Mars Climate Orbiter burned up in the atmosphere because of an error that could have easily been prevented with typing. By taking advantage of the strong type systems available in most modern programming languages, you can eliminate whole classes of errors.
Programming with Types teaches you type system techniques for writing software that's safe, correct, easy to test and maintain, and that practically documents itself. Master these techniques, and you may even help prevent an interstellar catastrophe!
About the Author
Vlad Riscutia is a principal software engineer at Microsoft with over 10 years of experience in the software field. He has headed up several major software projects and mentored many up-and-coming software engineers.
In this Book
-
Introduction to Typing
-
Basic Types
-
Composition
-
Type Safety
-
Function Types
-
Advanced Applications of Function Types
-
Subtyping
-
Elements of Object-Oriented Programming
-
Generic Data Structures
-
Generic Algorithms and Iterators
-
Higher Kinded Types and beyond
-
Types and Possible Values
-
Common Algorithms
