Protocols:用于描述和实现通信协议的 DSL

协议 用于描述和实现通信协议的 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