ハスケルの優先順位：ラムダと演算子

Question

私は、文脈が一見ハスケルコードに表現しようとしていることを理解するために、優先順位と結合性が大きな障害となります。

例えば、実験によって

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)] 

ghciから（>> =）の情報を演算子として取得できます（infixl 1 >> =）。

しかし、演算子ではないので、>についての情報はありません。

あなたの誰かがこの文法を理解しやすくするために参考にしてもらえますか？

Answer 1

ラムダのルールは非常に単純です。ラムダの本体は、不均衡な括弧に当たることなく、できるだけ右に伸びます。

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

Answer 2

経験則としては、組み込みの構文構造よりも優先順位が高いカスタム演算子を決して使うことができないようです。

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

かかわらず***の結合性の、誰もそれのようにバインドすることを期待しないだろう：例えば、この例で考える

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

構文要素の多くは、Haskellではありません（doとcaseがあるため、レイアウト構文の少ない特殊である）が、letは、他の例として使用することができる。

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