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