Was ist der Punkt der Karte in Haskell, wenn es fmap gibt?

Überall ich habe versucht, mit mapfmap hat auch funktioniert. Warum haben die Macher von Haskell fühlen sich die Notwendigkeit für eine map Funktion? Konnte es nicht einfach so sein, wie wir Sie derzeit kennen fmap und fmap entfernt werden konnten, aus der Sprache?

InformationsquelleAutor der Frage Clark Gaebel | 2011-07-26

  1. 75

    Ich würde gern eine Antwort auf sich aufmerksam zu augustss Kommentar:

    Das ist nicht wirklich, wie es passiert. Was geschah, war, dass der Typ der Karte wurde verallgemeinert zu decken Funktor in Haskell 1.3. I. e., in Haskell 1.3 fmap genannt wurde, anzeigen. Diese änderung wurde dann wieder in Haskell 1.4 und fmap eingeführt wurde. Der Grund für diese änderung war die pädagogische; wenn die Lehre Haskell für Anfänger die sehr Allgemeine Art der Karte Fehlermeldungen mehr schwer zu verstehen. Meiner Meinung nach war dies nicht der richtige Weg, um das problem zu lösen.

    Haskell 98 versteht sich als ein Schritt rückwärts, indem Sie einige Haskellers (mich eingeschlossen), frühere Versionen nach der Definition einer abstrakten und konsistenten Bibliothek. Naja.

    InformationsquelleAutor der Antwort luqui

  2. 17

    Zitat aus dem Functor Dokumentation https://wiki.haskell.org/Typeclassopedia#Functor

    Könnte man Fragen, warum brauchen wir eine separate map Funktion. Warum nicht einfach tun
    Weg mit der aktuellen Liste nur map Funktion, und benennen Sie fmap zu map
    statt? Gut, das ist eine gute Frage. Das übliche argument ist, dass
    jemanden nur zu lernen, Haskell, bei der Verwendung von map falsch, würde viel
    eher ein Fehler Listen als über Functor.

    InformationsquelleAutor der Antwort Andrei Bozantan

  3. 8

    Sehen Sie das gleiche auf der Anwendung Website, aber Sie sind natürlich anders. Wenn Sie eine der beiden Funktionen map oder fmapum eine Liste der Werte, für die diese produzieren das gleiche Ergebnis, aber das bedeutet nicht, dass Sie gemeint sind, für den gleichen Zweck.

    Führen Sie eine GHCI-session (der Glasgow Haskell Compiler Interactive viewing), um eine Abfrage nach Informationen zu diesen beiden Funktionen, dann haben Sie einen Blick auf Ihre Implementierungen und entdecken Sie viele Unterschiede.

    Karte

    Abfrage GHCI für Informationen über map

    Prelude> :info map
map :: (a -> b) -> [a] -> [b]   -- Defined in ‘GHC.Base’

    und du wirst es sehen, definiert als high-order-Funktion für eine Liste von Werten eines beliebigen Typs a woraus sich eine Liste von Werten eines beliebigen Typs b. Obwohl polymorph (die a und b in der obigen definition stehen für jede Art) die map Funktion soll angewendet werden, um eine Liste der Werte das ist nur eine mögliche Datentyp unter vielen anderen in Haskell. Die map - Funktion kann nicht angewendet werden auf etwas, das ist nicht eine Liste von Werten.

    Wie Sie Lesen können, von der GHC.Base source-code, der map Funktion ist wie folgt implementiert

    map _ []     = []
map f (x:xs) = f x : map f xs

    macht die Verwendung von pattern matching zu ziehen, der Kopf ( x ) den Schwanz ab (der xs) von der Liste, dann erstellt eine neue Liste mit den : (Nachteile) Wert-Konstruktor so voranstellen f x (Lesen Sie es als "f angewandt auf x"), um die Rekursion map über den Schwanz, bis die Liste leer ist. Es lohnt sich zu bemerken, dass die Umsetzung der map - Funktion wirkt sich nicht auf jede andere Funktion, die aber nur auf sich selbst.

    fmap

    Nun versuchen, eine Abfrage nach Informationen zu fmap und du wirst sehen, etwas ganz anderes.

    Prelude> :info fmap
class Functor (f :: * -> *) where
  fmap :: (a -> b) -> f a -> f b
  ...
  -- Defined in ‘GHC.Base’

    Dieser Zeit fmap ist definiert als eine der Funktionen, deren Implementierung bereitgestellt werden muss, durch diejenigen, die Daten-Typen, die wollen, gehören zu den Functor Typ-Klasse. Das bedeutet, dass es kann mehr als einen Datentypen, nicht nur die "Liste der Werte" Daten-Typ, in der Lage, stellen Sie eine Implementierung für die fmap Funktion. Das macht fmap anwendbar um eine viel größere Anzahl von Daten-Typen: die funktoren in der Tat!

    Wie Sie Lesen können, von der GHC.Base Quellcode, eine mögliche Implementierung der fmap Funktion ist die von der Maybe Daten Typ: 

    instance  Functor Maybe  where
  fmap _ Nothing       = Nothing
  fmap f (Just a)      = Just (f a)

    und andere mögliche Implementierung ist die von der 2-Tupel-Datentyp

    instance Functor ((,) a) where
  fmap f (x,y) = (x, f y)

    und andere mögliche Implementierung ist die von der Liste Datentyp (natürlich!):

    instance  Functor []  where
  fmap f xs = map f xs

    die sich auf die map - Funktion (beachten Sie den Punkt-free-notation gibt ... aber das ist außerhalb des Rahmens Ihrer ursprünglichen Frage).

    Fazit

    Den map Funktion kann angewendet werden, um nichts mehr als Liste von Werten (in denen Werte eines beliebigen Typs) in der Erwägung, dass die fmap Funktion angewendet werden kann, viel mehr Datentypen: alle diejenigen, die gehört zu der functor-Klasse (z.B. maybes, Tupel, Listen, etc.). Da die "Liste der Werte" Datentyp auch einen Funktor ist (denn es stellt eine Implementierung für es), dann fmap angewendet werden kann, wie auch produziert das gleiche Ergebnis wie map.

    map  (+3) [1..5]
fmap (+3) (Just 15)
fmap (+3) (5, 7)

    InformationsquelleAutor der Antwort Paolo Angioletti

Schreibe einen Kommentar