Principle of programming language