【文件属性】:
文件名称:idris-protocol-examples:使用 Idris 协议包的例子
文件大小:26KB
文件格式:ZIP
更新时间:2021-06-30 21:56:47
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)