在Idris中,您可以使用infix,infixl或infixr定义运算符,其后是运算符的优先级,然后是运算符列表,例如
infix
infixl
infixr
infixl 8 +, -
我想您也可以使用其他语言。
我知道优先级有什么影响,但是如何选择优先级赋予操作员?如果最初选择的优先级过高或过低,可能会遇到什么问题?
当您问有关优先权的一个非常基本的入门性问题时,我将不做超出您要求的细节,因为它会变得相当复杂。