Gleichungen kontrollieren < Haskell < Programmiersprachen < Praxis < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 23:41 Sa 22.01.2011 | | Autor: | SolRakt |
| Aufgabe | Seien xs und ys Listen und x, y, z ganze Zahlen vom Typ Int. Gehen Sie davon aus, dass die Liste xs den Typ
[a] hat und n Elemente enthält. Dabei steht a für einen beliebigen Typ. Die Liste ys enthält m Elemente.
Welche der folgenden Gleichungen zwischen Listen sind richtig und welche nicht? Begründen Sie Ihre Antwort.
Falls es sich um syntaktisch korrekte Ausdrücke handelt, geben Sie für jede linke und rechte Seite auch an, wie
viele Elemente in der jeweiligen Liste enthalten sind und welchen Typ sie hat.
Beispiel : Die Liste  1,2,3],[1,4 hat den Typ Int und enthält 2 Elemente.
(i) x:[] = [x]
(ii) (x,y):xs = x:y:xs
(iii) (x:([y] ++ xs)) ++ ys = ([x] ++ (y:xs)) ++ ys
(iv) x:[xs] = [x:xs]
(v) (x:[y,z]):[] = [[x] ++ (y:[z])] |
Hallo.
Ich hoffe, dass mir da jemand helfen kann. Und zwar soll ich sagen, welche der Gleichungen richtig sind. Zusätzlich soll ich den Typ und die Elementzahl angeben, falls die links und rechte Spalte gleich sind.
Nur hab ich da gar keine Ahnung. Kann mir da vllt jemand mal erklären.
Also, bei (i) ist x doch der Kopf und der rest die leere Menge. So, also gibts nur ein Element, und zwar x, somit stimmt die Gleichung. Der Typ ist doch int, oder?
Aber ab (ii) komme ich leider garnicht mehr zurecht :(
Danke vielmals.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 00:20 Di 25.01.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
