Encapsulate global state but do not use in unconsciousnessAll Programming Philosophies are about State (Turing Machine)The Type System is similar to State Management but aims to minimize manual type annotations by maximizing type inference.