polyrpc:PolyRPC,一种多层功能编程语言

时间:2024-05-28 04:27:32
【文件属性】:

文件名称:polyrpc:PolyRPC,一种多层功能编程语言

文件大小:485KB

文件格式:ZIP

更新时间:2024-05-28 04:27:32

programming-language functional-language Haskell

多边形 基于多态rpc演算的多层功能编程语言 允许编写客户端,服务器和位置多态函数 一种Polyrpc编程语言系统,包括解析器,poly rpc类型检查器,切片编译器,poly cs类型检查器和poly cs插入器。 一种双向类型检查算法,可自动推断出许多类型注释(而不是位置注释) 下载并构建 $ git clone https://github.com/kwanghoon/polyrpc $ cd polyrpc $ stack build 运行polyrpc解释器 $ stack exec -- polyrpc ./examples/helloworld.rl POLYRPC, version 0.1.0: http://github.com/kwanghoon/polyrpc/ [Reading] ./examples/helloworld.rl [Lexing] [P


网友评论