析。静态名字解析的语言有：C语言, C++, E语言, Erlang, Haskell, Java, Pascal语言, Scheme语言, Smalltalk。动态名字解析的语言有：Lisp, Perl, PHP, Python, REBOL,Tcl.
名字屏蔽.名字屏蔽（）发生在同一个名字用于不同的实体，出现在重叠的作用域内。 例如，在下述程序中：
α更名简化了名字解析.程序设计语言使用α-变换使得没有变量名屏蔽了其它同名的实体。可用于静态代码分