하스켈 우선 순위 : 람다와 연산자

Question

우선 순위와 결합 성은 문법이 처음으로 haskell 코드로 표현하려고 시도하는 것을 이해하는 데있어 큰 장애물이다. 예를 들어

, 실험에 의해

blockyPlain :: Monad m => m t -> m t1 -> m (t, t1) 
blockyPlain xs ys = xs >>= \x -> ys >>= \y -> return (x, y) 

, 나는 마지막으로 어떤 작품이 의미

blockyPlain xs ys = xs >>= (\x -> (ys >>= (\y -> return (x, y)))) 

대신

blockyPlain xs ys = xs >>= (\x -> ys) >>= (\y -> return (x, y)) 

을 가지고 :

*Main> blockyPlain [1,2,3] [4,5,6] 
[(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)] 

,536,

ghci에서 (>> =) 연산자에 대한 정보를 얻을 수 있습니다 (infixl 1 >> =).

하지만 운영자가 아니기 때문에 ->에 대한 정보가 없습니다.

여러분 중 누군가가이 문법을 쉽게 이해할 수 있도록 참조 할 수 있습니까?

Answer 1

람다 규칙은 매우 간단합니다. 람다 본문은 언밸런스 괄호를 사용하지 않고 가능한 한 오른쪽 오른쪽으로 확장됩니다.

f (\x -> foo (bar baz) *** quux >>= quuxbar) 
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 
         body 

Answer 2

엄지 손가락의 좋은 규칙은 구문 구조에 내장보다 우선 순위가있는 사용자 정의 연산자를 만들 수 없다는 것 같다. 예를 들어이 예를 고려해

(if b then f *** x else f) *** y 

있습니다하지 하스켈의 구문 구조의 많은 (do과 :에 관계없이 ***의 연관성의

if b then f *** x else f *** y 

을, 아무도는 바인딩에 그것을 기대하지 않을 것이다 case 때문에 레이아웃 구문 약간 특별) let 그러나 다른 예로서 사용될 수있다 :

(let x = y in y *** x) /= ((let x = y in y) *** x)