Effect system

An effect system is a way of controlling how computer programs work. It's like a set of directions that tells the program how to do something. It can be used to make sure that the program behaves in expected ways and does the right things when given certain inputs. For example, if you type your name into a computer program, the effect system might tell the program to greet you with your name.