发送短信: Functional calculi