Typinferenz in Haskell

#Definition #Studium #Informatik

Haskell ist statisch typisiert

Typ jedes Ausdrucks ist zur Compile-Zeit bekannt
Macht den Code sicherer. Typfehler werden vor der Ausführung ausgeschlossen

Important

Haskell kann den Typ von Ausdrücken oft selbst erkennen, wenn sich das aus dem Ausdruck ergibt
Spart Schreibarbeit, mach es übersichtlicher

Beispiel:

succ‘ :: Int -> Int 
succ‘ x = x + 1

isSucc a b = b == succ' a

Durch succ' steht a :: Int fest,
durch == ergeben sich b :: Int und der Rückgabetyp Bool
die Signatur isSucc :: Int -> Int -> Bool kann inferiert werden