Type Systems
Back: 02 - Programming Languages and Paradigms MOC
Type systems classify values and expressions into types, enforcing constraints that prevent certain classes of errors. They range from simple static checks to sophisticated dependent types, and fundamentally shape how developers express invariants and catch bugs — at compile time or at runtime.