أرسل هذا في رسالة قصيرة: Commutative semantics for probabilistic programming