Type Systems¶
A type system is a proof tool for ruling out selected invalid programs—not a proof that the program is correct.
flowchart LR
Values --> Types --> Constraints --> Accepted[accepted program]
Study junior, middle, senior, and professional.