16
Ich habe gerade festgestellt, dass (<$>) eine Festigkeit von infixl 4 hat. Wie kann das sein?
(+1) <$> (/5) <$> [5,10] funktioniert offensichtlich von rechts nach links.
A
Antwort
18
Nein, <$> ist assoziativ und dies ist in Ihrem Beispiel nicht anders. (+1) <$> (/5) <$> [5,10] wird als ((+1) <$> (/5)) <$> [5,10] gelesen. Dies passiert, weil die Functor Instanz von (->) a ist im Grunde äquivalent zu Funktionszusammensetzung; fmap (+1) (/5) ist äquivalent zu \x -> (x/5)+1, was Ihnen in diesem Fall das gleiche Ergebnis liefert wie das, was Sie mit der Bestellung erhalten würden, von der Sie glauben, dass sie funktioniert, d. H. (+1) <$> ((+5) <$> [5,10]).
Da dies ein wenig verwirrend ist, wenn Sie mehrere Funktionen in einer Zeile anwenden möchten, ist es wahrscheinlich besser für die Lesbarkeit, den normalen Funktionszusammensetzungsoperator hier zu verwenden: (+1) . (/5) <$> [5,10].
Verwandte Themen
- 1. Kann <ActivityIndicatorIOS /> nicht in <Text />
- 2. Unity, wie kann AddComponent <T>()?
- 3. Wie kann ich konvertieren SQLDataReader <>
- 4. Wie kann ich ynymce davon abhalten, <! DOCTYPE html><html><head></head><body> zu allem hinzuzufügen, was ich betrete?
- 5. Was macht "<%:"?</p> <pre><code><%: Model.FirstName %> </code></pre> <p>was bedeutet "<%:" do
- 6. Wie <foo> foovar></foo><span class = 'classname'> foovar</span> in php
- 7. Mapper.Map <Aufgabe <IEnumerable <Address>>, Aufgabe <IEnumerable <AddressView>>()
- 8. Kann ich von Aufgabe <ObservableCollection <Class>> auf ObservableCollection <Class> umwandeln?
- 9. <%# %> vs <%= %>
- 10. Wie kann ich ein REPLACE PATTERN in SQL erstellen?</p> <pre><code>'Hello stackoverflow world' </code></pre> <p>Wie kann ich tun:
- 11. Convert Array assoziativ
- 12. Wie kann ich <span> nach links ausrichten?
- 13. cmake -D <var>: <type> = <value>: was kann <type> sein?
- 14. IList <IList<T>> zu IReadonlyCollection <IReadonlyCollection <T>>
- 15. XSD Formatierung <element><complexType> vs <complex /><element/>
- 16. Wie kann ich Inline-Javascript im Web-Modus einrücken? Verwendung von Web-mode.el</p> <pre class="lang-html prettyprint-override"><code><html> <body> <script> var i = 0; </script> </body> </html> </code></pre> <p>
- 17. SortedList <>, SortedDictionary <> und Dictionary <>
- 18. Control.Category, was bedeutet >>> und <<<?
- 19. , wie sie ändern Text zwischen <li><a></a></li>
- 20. <Quantity<T>>
- 21. Umwandlung Aufgabe <DbSet<T>> zu Aufgabe <IEnumerable <T>>
- 22. Wie Expression <Func <T, DateTime>>, um Expression werfen <Func <T, object>>
- 23. Umwandlung von Ausdruck <Func <TypeIn, TypeOut1 >> in Ausdruck <Func <TypeIn, TypeOut2 >>
- 24. Machen <tr> zu handeln wie <a>
- 25. <Maildefinition> und <%%> Platzhalter
- 26. Auto-Center <div><div></div></div>
- 27. <p:schedule> problem innerhalb <ui: komposition><ui:define> ... <ui:define/><ui: komposition />
- 28. Wie Func konvertieren <T,bool> zu Expression <Func<T,bool>>
- 29. uglify JS unerwarteter Token Operator <<->>, erwartete punc <<: >>
- 30. Wie Deserialisieren Enumerable.ToList <>() zur Liste <>
Es spielt also keine Rolle, ob es links oder rechts assoziativ ist, was die Semantik betrifft (und Funktoren erfüllen tatsächlich die Funktorgesetze). Ich frage mich, ob die linke Assoziation eine bewußte Wahl war, z.B. aus Leistungsgründen. Es könnte sogar auf diese Weise zufällig oder theoretisch falsch definiert worden sein. – chi
@chi Wenn '(<$>)' richtig assoziativ waren, konnten Sie das 'f <$> x <*> y'-Stilmuster nicht mehr verwenden (weil' (<*>) 'auch rechts assoziativ sein müsste, damit Sie sie zusammen ohne verwenden können Klammern so). Es gibt Leute, die sagen, dass '($)' assoziativ sein sollte, weil man dann etwas wie 'f $ gx $ hy' machen könnte und es wäre äquivalent zu 'f (gx) (hy)' (und I denke, es wäre symmetrisch mit wie '->' ist rechts assoziativ). Natürlich kommt es wirklich auf die Vorliebe an. –
@DavidYoung Ah, richtig. Das macht Sinn, danke. – chi