haskellの>>演算子の逆数

Question

モナドを使用してアプリケーションとファンクタを使用するときにコードが似ているので、>>=の代わりに=<<を使用しています。私も*>/>>の代わりに<*を使っています。しかし、私は、<*が*>でないことに気付きました。何が=<<にありますか？>>=です。例えば

：

print 5 <* print 6 

は私を与える：

私は呼ばれて print 6で、周りに他の方法を印刷するためにそれらを期待していた

5 
6 

、6を印刷した後、その結果()を取得投げ捨ててprint 5と呼んでください。

<*と*>のように再生した後は、戻り値のみが異なるように見えますが、機能がどのように組み合わされているかといったようなものではありません。一方、=<<は、>>=の適切なフリップであり、左から右に固定されたスイッチを含む。

このケースだった、なぜ私は思っていた（>>=が後方にあるが、それは何らかの形で>>=と<*>の型シグネチャが反転しているにもかかわらず、ではない後方、<*><**>組み合わせ、とのより良いフィットのように思えます）。また、私が使うことができる<<スタイルの演算子があるかどうか疑問に思っていました。

=<<の場合、左辺と右辺の組み合わせは違いがありますが、括弧をどこに置いても同じように見えますが、公平にテストしただけですが簡単な例。

Answer 1

アイ、*>および<*の戻り値が異なるだけです。 >>=と<*>の型シグネチャは、私が>>=と<*>の署名がある言わないだろう

反転しているにもかかわらず

それは何らかの形ではなく、後方とのより良いフィットし、<*><**>組み合わせ、フリップされたむしろ<*>はちょうどその左の引数に関数を含むように特化されており、右の引数の値にはappliedが入ります。 ++の裏返しバージョンの必要がないようにあなたは、あまりにも>>=でこれを行う

fs<*>xs ≡ fs >>= \f -> f<$>xs 

を考慮することができる私は、<<の応用的等価のための多くの必要はないと思う。ただ*>の引数を注文しますまたは<*の順序で必要なセマンティクスが必要です。

はそれが=<<に来るときも、違いを作る右結合性対左ん、それはあなたが括弧を置くどんなにかのように思われるが、結果は同じ

のErである、それは正しくありません。右の括弧が付いたバージョンは、よくタイプされていません。おそらくあなたはラムダでいくつかの例を試してきましたが、これらをあなたの括約句に考慮しなかったでしょうか？