类型和变量