Rascal获取单数据参数函数类型时触发Ambiguous code错误

在Rascal语言的类型语法中，#int(Foo)触发歧义的核心原因是语法解析器无法确定该表达式的唯一语义，存在两种完全不同的合法解析路径：

• 解析为函数类型：按照Rascal的简写规则，#T(U)可以表示「接收U类型参数、返回T类型」的函数类型，等价于U -> int。
• 解析为类型构造器应用：语法层面会认为这是尝试将int作为参数化类型构造器，传入Foo作为类型参数构造新类型（类似list[int]的写法）——尽管int本身并非参数化类型（无法接收类型参数），但解析器在语法分析阶段无法提前判断这一点，因此会将其视为合法语法结构。

你之前测试的其他表达式无歧义的原因：

• #Foo、#int：都是单一类型引用，不存在多重解析可能；
• #Foo(int)：Foo是自定义数据类型，解析器会优先将其解析为函数类型int -> Foo，不会触发类型构造应用的解析路径；
• #int(Foo, int)：多参数写法只能对应函数类型Foo * int -> int，不存在类型构造应用的可能（参数化类型构造器通常仅接收单个类型参数列表），因此无歧义。

直接使用Rascal函数类型的标准写法Foo -> int替代#int(Foo)，即可消除语法歧义，明确表达「接收Foo类型参数、返回int类型」的函数类型。

内容的提问来源于stack exchange，提问作者bys1