编排式编程

编排式编程的核心思路是编写一份描述各方如何共同协作的全局协议，再由编译器自动投影并编译到各个参与者上。

编排式编程落地到 Rust 面临投影正确性判定在广播、动态角色集合等高级特性上仍然棘手，需要限制 DSL 表达能力以换取可判定的投影算法。