自定义 infix 函数默认的优先级和结合性

izhier

1. 
   
2. m # n = m + n
   

复制代码

run

1. 
   
2. *Main> 1 ^ 2 # 3
   
3. 1
   
4. *Main> :i (#)
   
5. (#) :: (Num a) => a -> a -> a   -- Defined at t.hs:3:2
   
6. *Main> :i (^)
   
7. (^) :: (Num a, Integral b) => a -> b -> a       -- Defined in GHC.Real
   
8. infixr 8 ^
   
9. *Main> 1 # (+2).(*3) 4
   
10. 
    
11. <interactive>:1:0:
    
12.     precedence parsing error
    
13.         cannot mix `(#)' [infixl 9] and `(.)' [infixr 9] in the same infix expression
    
14. *Main> sqrt 1 # 1
    
15. 2.0
    

复制代码

# 的优先级竟然比 ^ 还高

# 的优先级和结合性：(本来想发帖问一下捏，没想到错误提示里竟然有其结合性和优先级 )
infixl 9
左结合性、优先级为 9(达到顶层了)
只是比 function apply 低一个等级

[ 本帖最后由 izhier 于 2009-4-28 13:16 编辑 ]