发送短信 : Functional programming with Miranda /