文件名称：idris-protocol-examples:使用 Idris 协议包的例子
文件大小：26KB
文件格式：ZIP
更新时间：2024-07-20 15:43:27
Idris
自述文件 使用 Idris 协议包的例子。 Idris是一种通用纯函数式语言，由圣安德鲁斯大学开发，用于部分调查依赖类型的使用。 更多信息可以在上找到 是一个 idris 包，开发用于研究 EDSL 和效果在处理协议时的使用。 该项目提供了一系列工作示例，说明了协议的使用。 下面列出了可能实现的示例。 网络协议 回声 充电 时间 白天 应用 nl 回声 目录名 基名 真假 是的 高阶协议 招待员
【文件预览】：
idris-protocol-examples-master
----apps()
--------TCPHandshake.idr(2KB)
--------TimeAlt.idr(2KB)
--------EchoProtocol.idr(2KB)
--------Utils.idr(1KB)
--------Time.idr(2KB)
--------DayTime.idr(2KB)
--------CharGenProcess.idr(2KB)
--------KnockKnock.idr(2KB)
--------Makefile(1KB)
--------EchoNaive.idr(2KB)
--------KnockKnockArgs.idr(2KB)
--------EchoProcess.idr(2KB)
--------TCPHandshakeFail.idr(2KB)
--------.gitignore(84B)
----greeter()
--------greeter.ipkg(217B)
--------Greeter()
--------Makefile(358B)
--------.gitignore(12B)
--------Main.idr(652B)
----CONTRIBUTING.md(5KB)
----LICENSE(1KB)
----.dir-locals.el(157B)
----README.md(756B)
----.gitignore(403B)
----librfc()
--------RFC()
--------Makefile(408B)
--------rfc.ipkg(215B)