Was ist [] (Listenkonstruktor) in Haskell?

Ich Probleme Mit dem Verständnis funktoren, insbesondere, was eine konkrete Typ ist in LYAH. Ich glaube, das ist weil ich verstehe nicht, was [] wirklich ist.

fmap :: (a -> b) -> f a -> f b
  1. Ist [] einen Typ-Konstruktor? Oder ist es ein Wert-Konstruktor?
  2. Was bedeutet es, der Art von: [] :: [a]?
  3. Ist es wie Maybe Typ-Konstruktor, oder Just Wert-Konstruktor?
    1. Wenn es wie Just dann kommen wie Just hat eine Signatur wie Just :: a -> Maybe a eher als Just :: Maybe ain anderen Worten, warum ist nicht [] eingegeben [] :: a -> [a]
  4. LYAH sagt, es gilt für funktoren: Merken, wie wir nicht schreiben instance Functor [a], in denen aufgrund von fmap :: (a -> b) -> f -> f-b, sehen wir, dass die f hat eine Art Konstruktor, einen Typ. [a] ist bereits ein konkreter Typ (der eine Liste mit jeder Art von innen), während [] ist eine Art Konstruktor, der einen Typ und produzieren können Typen wie [Int], [String] oder sogar [[String]]. Ich bin verwirrt, wenn die Art der [] bedeutet es ist wie ein literal für [a] was ist LYAH versuchen zu bekommen?

InformationsquelleAutor der Frage Evan Carroll | 2010-02-16

  1. 19

    Art beschrieben wird (in eine GHCI-session):

    $ ghci
Prelude> :info []
data [] a = [] | a : [a] -- Defined

    Können wir auch darüber nachdenken, es als ob es waren definiert als:

    data List a = Nil
            | Cons a (List a)

    oder

    data List a = EmptyList
            | ListElement a (List a)

    Typ-Konstruktor

    [a] ist ein polymorpher Datentyp, der kann auch geschrieben werden [] a wie oben. Dies kann man sich in etwa vorstellen, als ob es List a

    In diesem Fall [] ist ein Typ-Konstruktor unter einer Typ-argument a - und Rücksendung der Typ [] adie darf auch geschrieben werden als [a].

    Einer schreiben kann der Typ einer Funktion wie:

    sum :: (Num a) => [a] -> a

    Daten-Konstruktor

    [] ist ein Daten-Konstruktordie im wesentlichen bedeutet "leere Liste". Diese Daten Konstruktor nimmt keinen Wert Argumente.

    Gibt es eine andere Daten-Konstruktor :die fügt ein element an der Vorderseite von einer anderen Liste. Die Signatur dieser Daten-Konstruktor ist a : [a] - es nimmt ein element und eine andere Liste von Elementen und liefert eine resultierende Liste von Elementen.

    Den [] notation kann auch verwendet werden, als Kürzel für den Bau einer Liste. Normalerweise würden wir eine Liste erstellen als:

    myNums = 3 : 2 : 4 : 7 : 12 : 8 : []

    interpretiert wird als

    myNums = 3 : (2 : (4 : (7 : (12 : (8 : [])))))

    aber Haskell erlaubt uns auch die Verwendung der Kurzschrift

    myNums = [ 3, 2, 4, 7, 12, 8 ]

    als gleichwertig im Sinn, aber etwas schöner Aussehen, notation.

    Mehrdeutigen Fall

    Es ist eine zweideutige Fall, das ist allgemein-gesehen: [a]. Je nach Kontext ist diese Schreibweise bedeuten kann entweder "eine Liste der a's" oder "eine Liste mit genau einem element, nämlich a." Die erste Bedeutung ist die beabsichtigte Bedeutung, wenn [a] erscheint in einer Typwährend die zweite Bedeutung ist gemeint, wenn [a] erscheint in einer Wert.

    InformationsquelleAutor der Antwort yfeldblum

  2. 15

    1. Es ist (verwirrend, das gebe ich zu) syntaktisch überlastet werden sowohl ein Typ-Konstruktor und Konstruktor einen Wert.

    2. Bedeutet es, dass (der Wert-Konstruktor) [] hat der Typ, der für alle Arten a ist es eine Liste von a (die schriftliche [a]). Dies ist, weil es eine leere Liste bei jedem Typ.

    3. Den Wert Konstruktor [] nicht eingegeben a -> [a] da die leere Liste hat keine Elemente, und daher müssen Sie nicht ein a um eine leere Liste von a's. Vergleichen Nothing :: Maybe a statt.

    4. LYAH redet der Typ-Konstruktor [] mit freundlichen * -> * im Gegensatz zu den Wert-Konstruktor [] mit Typ -[a].

    InformationsquelleAutor der Antwort Doug McClean

  3. 9
    1. es ist eine Typ-Konstruktors (z.B. [Int] ist ein Typ), und einen Daten-Konstruktor ([2] ist eine Liste mit Struktur).
    2. Die leere Liste ist eine Liste halten jede Art
    3. [a] ist, wie Vielleicht ein, [2] ist wie Nur 2.
    4. [] ist ein null-G-Funktion (eine Konstante), so ist es nicht-Funktion geben.

    InformationsquelleAutor der Antwort Don Stewart

  4. 5

    Nur um die Dinge expliziter, diese Daten Typ:

    data List a = Cons a (List a) 
            | Nil

    ...hat die gleiche Struktur wie die built-in-Liste geben, aber ohne die (zwar schöner aus, aber möglicherweise verwirrend) spezielle syntax. Hier ist, was einige Korrespondenzen Aussehen:

    • List = []Typ-Konstruktoren mit freundlichen * -> *
    • List a = [a] Typen mit Art *
    • Nil = [] - Werte, mit polymorphen Typen List a und [a] bzw.
    • Cons = : - , Daten-Konstruktoren mit Typen a -> List a -> List a und a -> [a] -> [a] bzw.
    • Cons 5 Nil = [5] oder 5:[] single-element-Listen
    • f Nil = ... = f [] = ... pattern matching leere Listen
    • f (Cons x Nil) = ... = f [x] = ...`, pattern-matching, single-element-Listen
    • f (Cons x xs) = ... = f (x:xs) = ...pattern-matching, nicht-leere Listen

    In der Tat, wenn Sie Fragen ghci über []es sagt, dass Sie so ziemlich die gleiche definition:

    > :i []
data [] a = [] | a : [a]           -- Defined in GHC.Types

    Aber Sie können nicht schreiben, wie eine definition von sich selbst, weil die Liste syntax und den "outfix" Typ-Konstruktor ist ein spezieller Fall, definiert in der Sprache, spec.

    InformationsquelleAutor der Antwort C. A. McCann

Schreibe einen Kommentar