發送短信: A Functional Implementation of the Formal Template Language