定义一个表达式 (define (<name> <formal parameters>) <body>) eg (define (square x) (* x x) 利用代换模型 正则序 完全展开后归约 应用序求值 先求值参数后应用