If you define a variable called number_of_apples, there is no way for the compiler to check that it actually contains the number of apples. How is that different?
It's different. Effect systems claim to be a 'major evolution' that 'enforce modularity'. But they don't really enforce anything other than the modularity provided by standard oop classes or if in a fp language, function modules.
