Lean 的可组合单子并行分布式编程库

IT·开源

该项目在 GitHub 上提出用可组合的单子程序为 Lean 语言实现并行与分布式编程，页面正文抓取到的是 GitHub 导航与产品介绍，未见具体技术细节。

来源：原文链接 (新窗口)

← 返回搜罗吧首页

本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。