发送短信 : An approach to distributed functional programming /