数据类型、用户交互、格式化输出、基本运算符