Principle of programming language tutorials