Gepostet: |
Allgemeinster Typ in Haskell | ||||||||||
Hallo Leute, Ich lerne gerade für meine Haskell Klausur,mir ist die folgende Aufgabe begegnet: Leiten Sie für die folgenden Ausdrücke ausführlich den allgemeinsten Typen her oder begründen Sie, weshalb kein allgemeinster Typ existiert: (a) map iterate (b) iterate map Hinweis: Arbeiten Sie mit den folgenden Typen von map und iterate: map :: (a -> b) -> [a] -> iterate :: (a -> a) -> a -> [a] Ich vermute,dass man höchstwahrscheinlich den Unifikationsalgorithmus von Robinson verwenden sollte,die ich nicht richtig verstehe aber ich bin mir nicht ganz sicher. Es wäre wirklich sehr nett,wenn jemand die Aufgabe ausführlich erläutern könnte. Gruß Vucicasena |
|||||||||||
Zum Seitenanfang | |||||||||||