发送短信: Commutative semantics for probabilistic programming