10 lines
1.0 KiB
TeX
10 lines
1.0 KiB
TeX
\ifger{Wir können sogar Funktionen schreiben wie:}{We can also have:}
|
|
\begin{haskellcode}
|
|
f :: a -> b
|
|
\end{haskellcode}
|
|
\pause
|
|
\ifger{D.h. was auch immer diese Funktion macht, sie bekommt etwas von einem Typ rein und gibt etwas von einem anderen Typ aus. \hinline{a} und \hinline{b} könnten vom selben Typ sein, müssen aber nicht! D.h. Funktionen dieser Art geben uns häufig mehr Freiheit. Mehr können wir über diese Funktion nicht sagen.}{So, whatever the function does... it gets something of one type and returns something of another type. \hinline{b} \emph{could} be the same type as \hinline{a} here, but it doesn't need to, so functions of this type often give us more freedom! That's all we know about this function.}
|
|
\vspace{\baselineskip}
|
|
\\
|
|
\pause
|
|
\ifger{Hinweis: wir müssen nicht die Buchstaben \hinline{a} und \hinline{b} nehmen. Sie werden nur häufig für generische Datentypen benutzt.}{Note: you don't have to use \hinline{a} or \hinline{b} here. These letters are just commonly used for generic types.} |