Every programming language attempts to expand until it has an effect system.