Schönheitswettbewerb

[Matthias Apsel]

Hallo pl,

ich hätte den Typen auch ausschreiben können, um es explizit zu machen.

f1 :: Int -> (Int -> Int)
f1 = (*)

Die Typsignatur drückt folgendes aus: „f1 ist eine Funktion, die einen Int-Wert entgegen nimmt und eine Funktion zurück gibt, die ebenfalls einen Int-Wert entgegen nimmt und einen Int-Wert zurück liefert“.

Multiplikation ist nicht auf Integer beschränkt.

Du hättest weiterlesen sollen.

Der Typ ist jetzt allerdings spezifischer als er sein müsste, weil die Funktion nicht nur mit Int-Werten arbeiten kann, sondern mit allen numerischen Typen, die eine Multiplikation unterstützen, u.a. auch Fließkommazahlen und die reellen Zahlen.

Das heißt f1 = (*) arbeitet mit allen Typen, die eine Multiplikation untestützen.

Bis demnächst
Matthias