文件名称:Protocols:用于描述和实现通信协议的 DSL
文件大小:70KB
文件格式:ZIP
更新时间:2024-07-25 15:56:02
TeX
协议 用于描述和实现通信协议的 DSL。 例如,给定两方“A”和“B”,其中“A”向“B”发送字符串并接收整数返回的协议可以描述如下: aToB : Protocol ['A, 'B] () aToB = do 'A ==> 'B | String 'B ==> 'A | Int Done Protocol xs t类型描述了双方xs之间的通信协议,最终返回t类型的东西。 符号'A ==> 'B | t 'A ==> 'B | t表示A方向 B 方发送类型为t的值。 B双方A实现方式如下: a : Agent IO aToB 'A ['B := bchan] [STDIO] () a = do sendTo 'B "Hello" answer <- recvFrom 'B putStrLn (show answe
【文件预览】:
Protocols-master
----System()
--------Protocol.idr(6KB)
----paper()
--------content()
--------fpmacros.sty(32KB)
--------conf.ltx(293B)
--------library.ltx(8KB)
--------idrislang.sty(9KB)
--------protocols.tex(1KB)
--------Makefile(653B)
--------llncs.cls(42KB)
--------literature.bib(117KB)
----test()
--------TestIPC.idr(4KB)
--------Stream.idr(3KB)
--------UtilServer.idr(3KB)
--------test.pl(558B)
----protocols.ipkg(89B)
----.gitignore(33B)
----Makefile(330B)
----README.md(3KB)
----Effect()
--------Msg.idr(16KB)