发送短信: Efficient Local Type Inference