-2
rev a b = b a
ich es einfach nicht bekommen, warum diese Funktion den t -> (t -> t1) -> t1 Typen hat?Warum ist die Art der folgenden Funktion t -> (t -> t1) -> t1
A
Antwort
5
b a ist die Anwendung der Funktion b zum argu ment a. Das ist alles, was der Compiler ableiten kann, was a und b sind, also weist er dem Typ des Arguments dieser Funktion und dem Rückgabetyp dieser Funktion die Namen t und t1 zu und sagt, dass rev ein Argument und eine Funktion braucht Dieses Argument und gibt das Ergebnis der Anwendung zurück.
1
Start mit der rechten Seite: Sie gelten a-b - so b Bedarf eine Funktion sein Typ (es irgendeine Art a -> b haben muss) (lass es b :: t -> t1 nennen) und a hat mit dieser kompatibel sein - a :: t
bedeutet, dass kein der resultierende Typ, wenn offensichtlich b ‚s codomain (t1 hier)
Verwandte Themen
- 1. C# Konvertieren Func <T1, object> zu Func <T1, T2>
- 2. Warum implementiert List <T> IList <T>, ICollection <T> und IEnumerable <T>?
- 3. Wann würden Sie eine Liste <KeyValuePair <T1, T2>> anstelle eines Wörterbuchs <T1, T2> verwenden?
- 4. Warum IList <T> implementieren IEnumerable <T> und ICollection <T> während ICollection <T> selbst IEnumerable implementiert <T>
- 5. Shared_ptr <T> Shared_ptr <T const> und Vektor Vektor <T><T const>
- 6. Func <T1, TResult> TResult in Aufgabe eingepackt
- 7. zurück Queryable <T> oder Liste <T> in einem Repository <T>
- 8. Was die Verwendung von <T> in public static <T> T addAndReturn ist (T-Element, Sammlung <T> Sammlung) {
- 9. Wenn A <T1,T2> eine Vorlage für den tatsächlichen Typ ist, warum ist typeof (A <,>) zulässig?
- 10. Delegierter für eine Aktion < ref T1, T2>
- 11. Convert Liste <T> zu Blocking <T>
- 12. Umwandlung Aufgabe <DbSet<T>> zu Aufgabe <IEnumerable <T>>
- 13. Wählen Sie ein Wörterbuch <T1, T2> mit LINQ
- 14. IList <T> ObservableCollection <T>
- 15. IEnumerable <T> VS IList <T> VS IQueryable <T>
- 16. <?> vs <T>
- 17. SortedSet <T> vs HashSet <T>
- 18. Func <T>() vs Func <T>. Invoke()
- 19. Liste <T> .AsReadOnly() vs IReadOnlyCollection <T>
- 20. Was ist der Unterschied zwischen Array <T>, ContiguousArray <T> und ArraySlice <T> in Swift?
- 21. <out T> vs <T> in Generics
- 22. IEnumerable <T> vs IReadOnlyList <T>
- 23. Warum std :: shared_ptr <T> = std :: unique_ptr <T[]> Kompilierung, während std :: shared_ptr <T[]> = std :: unique_ptr <T[]> nicht?
- 24. C# implementieren IEquatable <T> .Equal <T>
- 25. Warum bricht Function.identity() die Art der Verdinglichung ab, aber t -> t nicht?
- 26. <Quantity<T>>
- 27. Realm: Ergebnisse <T> als Liste <T>
- 28. IList <T> .FindIndex (Int32, Prädikat <T>)
- 29. Mapping zwischen T -> IHandler <T>
- 30. IList <T> in BindingList konvertieren <T>
Welchen Typ hätten Sie erwartet? – Bergi