ConcurrentML 如何改进 Go 的并发模型

文章主张 Concurrent ML（CML）在 CSP 基础上把通信操作从可执行语句提升为可组合的值，从而统一 Go 中 select 与取消机制，并借助垃圾回收解决 goroutine 泄漏问题。CML 诞生于 1990 年代中期，如今 Racket 是对该模型支持最完整的语言，文中示例均以 Racket 编写。