分析Mixfix运算符

分析Mixfix运算符
尼尔斯·安德斯·丹尼尔森和乌尔夫·诺雷尔
在函数语言的实现和应用中，第20届国际研讨会，IFL 2008.原始出版物可在www.springerlink.com网站.[pdf格式,代码,突出显示的代码]

摘要

包含miffix运算符的表达式的简单语法方案是提出了。该方案由优先关系参数化，该优先关系仅限于有向无圈图；这使它可以以模块化的方式建立优先关系。高效以及用户定义语言解析器的简单实现还讨论了基于语法方案的mixfix运算符。在未来，我们计划在Agda语言的语法方案和基于这项工作。