发送短信: Functional semantics