... | @@ -4,7 +4,7 @@ |
... | @@ -4,7 +4,7 @@ |
|
+ Hiding von Prelude Standardfunktionen (z.B.: map, reverse, list, >=, >> etc.)
|
|
+ Hiding von Prelude Standardfunktionen (z.B.: map, reverse, list, >=, >> etc.)
|
|
+ Imports verbieten
|
|
+ Imports verbieten
|
|
+ Module verbieten
|
|
+ Module verbieten
|
|
+ Higher-Order-Funktionen verbieten
|
|
+ Higher-Order und Lambda Funktionen verbieten
|
|
+ Eigene Datentypen verbieten
|
|
+ Eigene Datentypen verbieten
|
|
+ Typsignaturen erzwingen
|
|
+ Typsignaturen erzwingen
|
|
+ check-expect erzwingen
|
|
+ check-expect erzwingen
|
... | @@ -20,16 +20,17 @@ |
... | @@ -20,16 +20,17 @@ |
|
- Preludehiding deaktivieren
|
|
- Preludehiding deaktivieren
|
|
- Imports erlauben
|
|
- Imports erlauben
|
|
- Typvariablen erlauben
|
|
- Typvariablen erlauben
|
|
- Higher-Order-Funktionen erlauben
|
|
- Higher-Order und Lambda Funktionen erlauben
|
|
- Showinstanzen für Datentypen nicht mehr generieren
|
|
- Showinstanzen für Datentypen nicht mehr generieren
|
|
- check-expect in quick check überführen
|
|
- check-expect in quick check überführen
|
|
|
|
|
|
**Stufe 4 (Standardhaskell):**
|
|
**Stufe 4 (Standardhaskell)**
|
|
|
|
|
|
## Sinnvolle Fehlermeldungen
|
|
## Sinnvolle Fehlermeldungen für
|
|
- Erkennen von Funktionen die mit Großbuchstaben anfangen
|
|
- Erkennen von Funktionen die mit Großbuchstaben anfangen
|
|
- Erkennen wenn der Datentypname vor der Typkonstruktor verwendet wird
|
|
- Erkennen wenn der Datentypname vor der Typkonstruktor verwendet wird
|
|
- Vergessene (oder zu viel gesetzte) Klammern bei z.B.: Pattern Matching
|
|
- Vergessene (oder zu viel gesetzte) Klammern bei z.B.: Pattern Matching
|
|
|
|
- Argument vergessen
|
|
|
|
|
|
## Diskussionthemen
|
|
## Diskussionthemen
|
|
- CheckExpect Syntax (wie sollen die Aufrufe im Programm untergebracht werden? Langer Kommentar? Kurzer Kommentar? Eigene Syntax?)
|
|
- CheckExpect Syntax (wie sollen die Aufrufe im Programm untergebracht werden? Langer Kommentar? Kurzer Kommentar? Eigene Syntax?)
|
... | @@ -37,3 +38,4 @@ |
... | @@ -37,3 +38,4 @@ |
|
- Arbitrary Instanzen für primitive Datentypen, Listen, Bäume (einfach) und Tupel generieren
|
|
- Arbitrary Instanzen für primitive Datentypen, Listen, Bäume (einfach) und Tupel generieren
|
|
- chocolate cookies einführen?
|
|
- chocolate cookies einführen?
|
|
- Record Syntax?
|
|
- Record Syntax?
|
|
|
|
- Language-Tag am Quellcodestart verbieten -> HaskellSrcExtensions können das von Haus aus |
|
|
|
\ No newline at end of file |