quit函数的作用是退出当前程序。
函数function的定义通常分为传统定义和近代定义。函数的两个定义本质是相同的，只是叙述概念的出发点不同，传统定义是从运动变化的观点出发，而近代定义是从集合、映射的观点出发。
