Would you say that "choreographic programming" is different from an architecturally-aware compiler?
https://hale-lang.org/articles/claims-in-hale/