发送短信 : Implementation of a polymorphic typechecking system /