By Alvin Alexander. Last updated: July 5, 2019
I saw this definition of type safety yesterday in a book named Programming TypeScript (#ad) and I thought it was very simple and good:
Type Safety: Using types to prevent programs from doing invalid things.
