Pluto是一个用Gallia（Coq的函数编程语言）编写的首个并发的Web服务器。
点击空白处退出提示
Pluto 并发 Web 服务器开源项目
我要开发同款
2014年12月06日技术信息
开源地址
https://github.com/coq-concurrency/pluto授权协议
MIT
作品详情
功能介绍
Pluto 是一个用 Gallina （Coq 的函数编程语言）编写的首个并发的 Web 服务器。
示例图片
声明：本文仅代表作者观点，不代表本站立场。如果侵犯到您的合法权益，请联系我们删除侵权资源！如果遇到资源链接失效，请您通过评论或工单的方式通知管理员。未经允许，不得转载，本站所有资源文章禁止商业使用运营!
评论