www.jammni.de

Logo - Kleiner Drache
Login
Username:

Passwort:

Daten merken
Auto-Login
Registrieren
 
Online
niemand
 
Forumsuche
Suche nach:

Logo - DracheHaskell-Forum

Vucicasena

Gepostet:
12.07.2015 01:58

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