A user need only know about the subset of the language explicitly used to write a program.

• 用户无须知道其用不到的语言子集。