發送短信: Efficient Local Type Inference