【文件属性】：
文件名称：polyrpc:PolyRPC，一种多层功能编程语言
文件大小：485KB
文件格式：ZIP
更新时间：2021-05-08 10:40:52
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