编程语言—— 变量，类型绑定与作用域