标签: #programming-languages
关于 GPU、LLM、MLOps、Kubernetes 以及心态的文章 · 1 篇
当两个通过了类型检查的服务互相等着对方停住时 —— 编排式编程这条另辟蹊径的路
就算用了保证内存安全的语言，也挡不住两个服务互相等着对方的消息而停住 —— 因为类型检查器的视野到一个进程就到头了。编排式编程（choreographic programming）把整个系统写成一个程序，再让编译器把各节点的代码抽取出来，从而把这条边界本身消掉。本文以最近公开的 Wyzer 为线索，只用能确认到的事实，梳理端点投影是什么、死锁为什么在设计层面就消失了，以及这门语言目前处在哪个阶段。
2026-08-09 · 11 分钟阅读 #programming-languages#compiler#distributed-systems#type-systems#concurrency