發送短信: La semántica funcional /