fgg:Go中FGFGGFGR的微型原型

时间:2024-05-27 05:12:01
【文件属性】:

文件名称:fgg:Go中FGFGGFGR的微型原型

文件大小:203KB

文件格式:ZIP

更新时间:2024-05-27 05:12:01

Go

自述 此fgg软件包是Featherweight Go和Featherweight Generic Go的最小基本原型,如以下所示: 轻量级Go 罗伯特·格里塞默,雷蒙·胡,温·科克,朱利安·兰格,伊恩·兰斯·泰勒, 贝尔纳多·托尼尼奥,菲利普·沃德勒和吉田信子 当前,代码的许多方面都非常原始,主要是为了方便快速进行上述实验。 例如,类型/函数/变量的名称不正确,除了与形式定义的某些对应关系之外。 该工具也不是特别用户友好: 它仅提供本文中形式化的Go的较小(但有意义)子集; 它不支持任何语法糖-例如,空括号和类型列表,以及各种分隔符( ; ),都需要明确地写出; 尽管可能会在堆栈跟踪的顶部给出错误消息,但大多数类型错误都报告为紧急情况。 我们计划在不久的将来对此进行一些改进。 有关此存储库的问题,请联系 。 请参阅此以获取有关Go团队的的信息,并链接到基于该草案的通用到通用


网友评论