ML 并发编程
Concurrent Programming in ML
John H. Reppy · 初版 1999 年
2人推荐
2位读者提及
5次提及
《Concurrent Programming in ML》介绍了 Concurrent ML (CML) 语言，该语言支持将两种重要的编程模型结合在一起：并发编程和函数式编程。CML 是函数式语言 Standard ML (SML) 的扩展，并作为 Standard ML of New Jersey (SML/NJ) 发行版的一部分包含在内。CML 支持利用独特的高阶并发编程机制进行进程通信与同步编程，允许程序员定义自己的通信和同步抽象。”——封套。“本书的主要重点是
Hacker News 上怎么说
正在加载完整评论……
冒昧建议一下，我想请你或你团队里的人去读读 John Reppy 写的《Concurrent Programming in ML》中的几个章节，并试试 Vesa 在 https://github.com/Hopac/Hopac 中极其出色的实现。我不清楚你们是否非得用 TPL 不可，但 CML 很可能是处理并发更好的模型，而 Hopac 简直高出几个数量级……
If I may, I'd like to invite you or someone on your team to read a couple of chapters of John Reppy's Concurrent Programming in ML and try Vesa's excellent delivery in https://github.com/Hopac/Hopac. I'm not clear if you absolutely have to use TPL but CML is likely just a better model for tackling concurrency and Hopac is orders…
冒昧推荐一下，建议想办法找一本 John Reppy 的《Concurrent Programming in ML》来看看。哪怕仅仅为了开开眼界，这本书也完全值了。Hopac 是一个在 .NET 上绝佳地实现了这种并发编程模型的库，并且拥有顶级的 F# 原语。
If I may recommend, try to find and read a copy of John Reppy's Concurrent Programming in ML. The book is a little bit of an eye opener if only for that. Hopac is a library that offers an excellent delivery of this model of concurrent programming on .NET and has top notch F# primitives.
这个看着太硬核了，对很多人来说，John Reppy 的书《Concurrent Programming in ML》（指的是 SML，不是机器学习）要平易近人得多。挑一个你拿手的编程语言里的 CSP 风格库就行：Go 就用 goroutines 和 channels，Clojure 用 core.async，F# 用……
This looks brutal, for a lot of people John Reppy's book Concurrent Programming in ML (as in SML not Machine Learning) is going to be much more accessible. Pick the CSP-style library in the programming language of your choice. Go with goroutines and channels Clojure with core.async F#…
……也就是该 continuation 当初被创建的地方，然后恢复执行，就好像程序一直都在那里运行一样。利用 continuation 能做的一件很酷的事就是用它们来实现多任务——参见《Concurrent Programming in ML》。
…where the continuation was created, and execution resumes as though the program had been running there all along. One neat thing you can do with continuations is use them to implement multitasking—see "Concurrent Programming in ML."
……软件的未来在于那些从不释放内存的短命程序。程序只管分配，然后终止退出。短命程序之间通过阻塞式的 CSP 风格 channels 进行通信（参见 Reppy 的《Concurrent Programming in ML》）。如果你能顺便指教我一下为什么这是个坏主意，我将不胜感激。
…that the future of software are short-lived programs that never free memory. Programs allocate and terminate. Short-lived program communicate with each other via blocking CSP-style channels (see Reppy's Concurrent Programming in ML). If you could also educate me on why this is a bad idea I would appreciate.