Haskell/Frege <= <und = << Assoziativität

Question

Laut Hoogle ist die Festigkeit von <=< (Kleisli Monad Zusammensetzung oder "linker Fisch") und =<< (umgekehrte Monade Bindung) infixr 1. Wenn ich bei ihnen richtig suchen, ein Ausdruck wie, sagt

print <=< return =<< return "foo" 

unwirksam sein, da es zu den ebenso ungültig

print <=< (return =<< return "foo") 

Aber aus irgendeinem Grunde gleichwertig war würde, obwohl die der erste Ausdruck scheint in Haskell ungültig zu sein, wie erwartet, scheint Frege keine Beschwerden zu haben und wertet <=< vor dem =<< aus.

ich erfahren, als ich auf pointfree.io rumgespielt um herauszufinden, wie so etwas wie

foo >>= (bar <=< baz) 

Punkt frei zu machen, und es gab mir

bar <=< baz =<< foo 

welche nicht sehen Sie richtig aus, in Anbetracht der Fixitäten.

Answer 1

Frege ist wie Haskell, aber Frege ist nicht Haskell. Und in Frege sind die Fixitäten dieser Operatoren unterschiedlich: =<< is infixr 2 und <=< is infixr 3. Also, da <=< niedrigeren Vorrang hat, wird bar <=< baz =<< foo natürlich als (bar <=< baz) =<< foo geparst.

(In der Tat, =<< und <=< haben unterschiedliche Typen in Frege als sie in Haskell zu tun: anstelle einer Monad Einschränkung, sie haben eine Bind Einschränkung, wo Bind wie Monad ist ohne pure/return.)

---

Ja, Frege describes itself als "Haskell für die JVM", aber sie bedeuten "eine Haskell" in dem Sinne, dass Common Lisp ist ein Lisp und Scheme ist ein Lisp und Clojure ist ein Lisp. Es ist seltsam zu sehen, dass "Haskell" auf diese Weise benutzt wird; es wäre normaler, "eine Haskell-ähnliche Sprache für die JVM" oder etwas Stärkeres zu sehen. Aber Frege ist so ähnlich, dass ich sehen kann warum. Auch

---

, du hast Recht: dass tut erscheint ein Fehler in pointfree (das Programm, das sichert pointfree.io) zu sein! pointfree soll erzeugen Haskell Code, nicht Frege, so dass die Tatsache, dass diese Transformation ungültig ist bedeutet, dass es die falsche Sache macht.