發送短信: Explorations in functional syntax