... | ... | @@ -30,7 +30,7 @@ Weiterhin stellt das DrRacket-System Konstrukte zur Angabe von Testfällen berei |
|
|
Auf diese Weise werden Studierende gleich daran herangeführt, ihre Programme zu testen.
|
|
|
Haskell bietet mit QuickCheck zwar auch die Möglichkeit, einfache Testfälle anzugeben bzw. Eigenschaften von Funktionen zu testen. Allerdings benötigt man für die Verwendung von QuickCheck auf selbst definierten (polymorphen) Datentypen bereits Sprachfeatures, die man erst als etwas fortgeschrittenerer Haskell-Programmierer kennt. Für Einsteiger ist die Verwendung von QuickCheck daher leider eher ungeeignet.
|
|
|
|
|
|
Ziel dieses Masterprojekts ist es daher ein DrRacket-ähnliches Werkzeug für Haskell zu entwickeln.
|
|
|
Ziel dieses Masterprojekts ist es daher, ein DrRacket-ähnliches Werkzeug für Haskell zu entwickeln.
|
|
|
Dieses Werkzeug soll verschiedene Sprachstufen für Haskell (angelehnt an das Skript zur Vorlesung Fortgeschrittene Programmierung) bereitstellen.
|
|
|
Auf niedrigeren Sprachstufen sollen fortgeschrittene Sprachkonstrukte wie beispielsweise Typklassen zunächst versteckt sein.
|
|
|
Auch die Typfehlermeldungen auf diesen Stufen sollen einsteigerfreundlicher sein als die des GHC.
|
... | ... | |