... | ... | @@ -62,7 +62,7 @@ Typsignaturen werden erzwungen. |
|
|
|
|
|
#### Level 2 (Datentypen, Polymorphie und Higher-Order)
|
|
|
|
|
|
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.
|
|
|
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.
|
|
|
|
|
|
#### Level 3 (Module + QuickCheck)
|
|
|
|
... | ... | |