[Progra] Blatt 11 Aufgabe 2a

[mirko]

nehmen wir mal einen datentyp aus der vorlesung:

"data Nats = Zero | Succ Nats deriving Show"

dieser datentyp heißt Nats und hat 2 konstruktoren. zum einen den parameterlosen konstruktor Zero, zum anderen den konstruktor Succ, der als parameter ein "objekt" vom typ Nats erwartet. wenn man nun eine funktion f::Nats->Int erzeugen möchte, könnte die beispielsweise wie folgt aussehen:

f::Nats->Int
f Zero=0
f Succ x=1 + f x

so ähnlich muss deine funktion dann auch aussehn...

edit: zur erläuterung: ein aufruf von f Zero führt nun also zu 0, ein aufruf von f Succ (Succ (Succ Zero)) wird wie folgt ausgewertet:
f Succ (Succ (Succ Zero))=1+ f Succ (Succ Zero)=1+1+f Succ Zero=1+1+1+f Zero=1+1+1+0=3

[Purzelbaum]

Wenn ich das hier so lese:

Beispielsweise die Funktion insertTask sieht ja so aus:
insertTask :: Eq a => Int -> a -> PriorityQueue a -> PriorityQueue a
Wenn du nun also z.B.
insertTask 5 "Blabla" EmptyQueue
eintippst, sollte da
Store 5 "Blabla" EmptyQueue
rauskommen.

Dann muss doch im Datentypen irgendwie

Code: Alles auswählen

Store Int a (PriorityQueue a)

stehen oder soll a vom Typ Int String sein? Geht das überhaupt?
Wenn ich dann z.B. inserTask 6 "Essen" spq1 aufrufe, sagt er mir "ERROR - Undefined variable "spq1"". Wo muss spq1 definiert werden?

[mirko]

Wenn ich dann z.B. inserTask 6 "Essen" spq1 aufrufe, sagt er mir "ERROR - Undefined variable "spq1"". Wo muss spq1 definiert werden?

spq1 ist das ergebnis aus dem vorherigen aufruf. ersetze spq1 durch den wert, der auf dem blatt für spq1 angegeben ist, dann könnte es funktionieren...

[Coolcat]

Vielleicht mal III5_Typen, Seite 6 angucken.

Edit: Omg...ich bin viel zu lahm...

[Purzelbaum]

edit: zur erläuterung: ein aufruf von f Zero führt nun also zu 0, ein aufruf von f Succ (Succ (Succ Zero)) wird wie folgt ausgewertet:
f Succ (Succ (Succ Zero))=1+ f Succ (Succ Zero)=1+1+f Succ Zero=1+1+1+f Zero=1+1+1+0=3

Wie wird er denn genau 1+1+1+0 zusammenfassen?
1+1+1+0=1+1+1=1+2=3 ? oder
1+1+1+0=2+1+0=3+0=3 ?

//edit:

Wenn ich die Datenstruktur änder wie oben von mir angegeben bekomme ich das richtige raus und zwar auch nur dann....

Main> insertTask 3 "kochen" (Store 5 "Waschen" (Store 1 "Essen" EmptyQueue))
Store 5 "Waschen" (Store 3 "kochen" (Store 1 "Essen" EmptyQueue))

Main> insertTask 1 "kochen" (Store 5 "Waschen" (Store 1 "Essen" EmptyQueue))
Store 5 "Waschen" (Store 1 "kochen" EmptyQueue)

So sollte es doch aussehen?

[aRo]

dürfen wir uns bei der g) eine separate Hilfsfunktion a la CompareLists schreiben?

[Purzelbaum]

dürfen wir uns bei der g) eine separate Hilfsfunktion a la CompareLists schreiben?

Reicht es nicht auch einfach Stelle für Stelle die Priorität und die Aufgabe zu vergleichen (priorität1 == priotität2 && aufgabe1 == aufgabe2) und wenn mind. eine davon unterschiedlich ist, sind die Priority Queues unterschiedlich?
Wir gehen ja davon aus, dass die Aufgaben nach Priorität sortiert sind.
So hab ich das zumindest ohne Hilfsfunktion gelöst.

[mirko]

[...]
So sollte es doch aussehen?

jap

dürfen wir uns bei der g) eine separate Hilfsfunktion a la CompareLists schreiben?

steht irgendwo, dass ihr es nicht dürft?

[mirko]

dürfen wir uns bei der g) eine separate Hilfsfunktion a la CompareLists schreiben?

Reicht es nicht auch einfach Stelle für Stelle die Priorität und die Aufgabe zu vergleichen (priorität1 == priotität2 && aufgabe1 == aufgabe2) und wenn mind. eine davon unterschiedlich ist, sind die Priority Queues unterschiedlich?

jap

[aRo]

@Purzelbaum:

Eigentlich müsste es so gehen, stimmt.
Allerdings steht oben nur, dass wir die korrekte Ordnung für b)-f) voraussetzen dürfen, oder?

ich mein ich hätt natürlich nichts dagegen, weil es so viel einfacher ist

[mirko]

@Purzelbaum:

Eigentlich müsste es so gehen, stimmt.
Allerdings steht oben nur, dass wir die korrekte Ordnung für b)-f) voraussetzen dürfen, oder?

das sollte wohl b)-g) heißen. wenn ich ePQ auf die musterlösung aufrufe kommt jedenfalls das bei rum:

Code: Alles auswählen

Main> equalPriorityQueues (Store 5 "a"(Store 4 "b" EmptyQueue)) (Store 4 "b"(Store 5 "a" EmptyQueue))
False

ich denke, das beantwortet alles

[Der Fuß]

Ich habe nun die beiden Funktionen delete und insert hinbekommen, und sie funktionieren auch. ABER: die spq, in die ich die neuen Sachen eingefügt habe, speichert das nicht. Wenn ich die dann nochmal aufrufe, oder einen weiteren Wert einfügen will, ist es wieder die ursprüngliche spq, ohne, dass das, was ich vorher eingefügt habe, drin ist.

soll das so sein oder habe ich noch nen Fehler drin?

[Coolcat]

soll das so sein oder habe ich noch nen Fehler drin?

Ähm....wie soll den spq irgendwas speichern? Wenn du spq so definiert hast wie auf dem Aufgabenblatt ist das nichts weiter als eine Funktion ohne Parameter, also eine Konstante.

[Der Fuß]

ok und wie soll ich dann in aufgabe 2 c) rausfinden, ob mein programm die selbe Aufgabe mit verschiedenen Prioritäten anlegen kann?

[theTux]

Indem du deine Funktionen mit entsprechenden Parametern aufrufst.