... | ... | @@ -60,14 +60,13 @@ Typsignaturen werden erzwungen. |
|
|
|
|
|
[Einstieg mit Level 1](einstieg-level1)
|
|
|
|
|
|
#### Level 2 (Datentypen)
|
|
|
#### Level 2 (Datentypen, Polymorphie und Higher-Order)
|
|
|
|
|
|
Hier können eigene Datentypen definiert und mit ihnen gearbeitet werden. Außerdem sind nun einige vordefinierte Funktionen, die in der ersten Stufe versteckt wurden, verwendbar.
|
|
|
Hier können eigene Datentypen definiert und mit ihnen gearbeitet werden. Funktionen können polymorph für mehrere Typen und mit funktionalen Argumenten definiert werden. Außerdem sind nun einige vordefinierte Funktionen, die in der ersten Stufe versteckt wurden, verwendbar.
|
|
|
|
|
|
#### Level 3 (Polymorphie und Higher-Order)
|
|
|
#### Level 3 (Module + QuickCheck)
|
|
|
|
|
|
Funktionen können polymorph für mehrere Typen definiert werden. Dazu stehen nun Typvariablen in Typsignaturen zur Verfügung.
|
|
|
Auch können hier Funktionen höherer Ordnung definiert und benutzt werden. Dies schließt Lambda-Ausdrücke ein.
|
|
|
Der Modulkopf kann definiert und andere Module importiert werden. Signaturen sind nicht zwingend erforderlich und Tests können durch QuickCheck ausgeführt werden.
|
|
|
|
|
|
#### Elemente, die DrHaskell nicht anbietet
|
|
|
|
... | ... | |