发送短信: Explorations in functional syntax