Übung 6, Aufgabe 7 - Metainterpreter

[Osterlaus]

Moin,
ich hangele mich grade durch die Hausübung mit dem Metainterpreter. Die erste Funktion - Stream von Zahlen mit alternierenden Vorzeichen - ging ja noch, aber irgendwie schaffe ich es nicht, meinem my-filter die richtige Verwendung der Funktion beizubringen. Übergebe ich my-filter eine Lamdba-Funktion

Code: Alles auswählen

(lambda (n) ( > n 0 ))

, meckert der Metainterpreter beim Ausführen:

eval-var: Unbound variable: '>

Sehr komisch. Benutze ich ( = n 0 ), lautet die Ausgabe gar

eval-app: Primitive or composed procedure expected, found: (list 1 2 3 4 5)

Leider ist beim Ausführungslevel Fortgeschritten auch der Stepper verschwunden, sonst würd ich mich da mal durchquälen, auch wenn die Ausgabe wohl SEHR unangenehm aussehen würde...
Für Ideen bin ich gerne offen
Nico

[majer]

Hallo Nico,

schau dir doch mal die vom Metainterpreter zur Verfügung gestellten primitiven Prozeduren mal genauer an ....

Viel Erfolg
Niko

[taufrisch]

Guck mal was der Metainterpreter für Funktionen kann. Kleiner Tip: '>' ist nicht darunter, dafür aber das andere Zeichen auf der selben Taste, so du denn eine deutsche Tastatur hast.

Durchsteppen habe ich mal versucht - das bringt fast gar nichts, der Metainterpreter dominiert ganz gut. Da bräuchte man einen Metadebugger...

[Osterlaus]

D'oh. Gut, dann habe ich mir eben > mal selbst erstellt Jetzt gibt mir

Code: Alles auswählen

( my-filter ( lambda ( n ) ( < n 0 ) ) ( my->cons 10 alon  ) )

schon den nächsten Fehler:

eval-app: Primitive or composed procedure expected, found: (list 1 2 3 4 5)

Und der Stepper ist bei mir nicht verfügbar, der Button in der GUI fehlt beim Sprachlevel Fortgeschritten unter Windows.

Okay, scheinbar muss ich in der Filter-Funktion mit first und rest statt my-first und my-rest arbeiten. Dann gibt mir die Funktion nämlich schon mal ein empty zurück, was ja richtig wäre. Mache ich dasselbe aber mit

Code: Alles auswählen

( my-filter ( lambda ( n ) ( < n 0 ) ) ( my->cons 10 alternate-nat  ) )

, bekomme ich einen unausgewerteten make-proc-Aufruf....

[taufrisch]

'filter' soll auf Listen oder Streams arbeiten, aber auf my-cons-Listen und nicht cons-Listen. 'my->cons' macht dir aber aus einer my-cons-Liste eine cons-Liste, und dann motzt 'filter' zurecht.

Uff, jetzt ist es wenigstens richtig.

Die Aufgabenstellung ist etwas verwirrend, insbesondere sollte es 'my-filter' heißen.

[Osterlaus]

Aufruf umgewandelt, nun steht im Aufruf my-cons ohne >, und nun motzt eval-app in dem ersten apply-Aufruf mit folgender Meldung:

first: expected argument of type <non-empty list>; given (make-proc (list 'n) (make-if-clause (make-application (make-variable '=) (list (make-variable 'n) 0)) 10 (make-variable 'alternate-nat)))

So ein.......

[taufrisch]

'first' wiederum arbeitet auf cons-Listen, nicht auf my-cons-Listen. Auf denen arbeitet dann natürlich 'my-first'. Deswegen ist 'filter' im Übungsblatt auch irreführend und sollte 'my-filter' heißen.

Ich glaube ich bin der Einzige in der ganzen Vorlesung der Scheme echt mag...

[Osterlaus]

Auch mit my-first und my-rest gibts nur Probleme. Tut mir leid, wenn das hier so eine Art Privat-Nachhilfe-Thread wird, aber nun habe ich wieder das Problem, das ich um 13:59 geschildert habe: Als Ausgabe erscheint eine make-proc-Anweisung, die nicht ausgeführt wird

[Osterlaus]

Kommando zurück, das liegt an dem Aufruf. Man bedenke, dass my-filter wiederum einen Stream erzeugt, wenn man der Funktion einen Stream übergibt...

[Wambolo]

arbeitet euer filter auch ewig langsam?

bei mir dauert es ewig, bis die 10 elemente rausgefiltert werden.

[Osterlaus]

Jopp, das Problem habe ich auch. Obwohl "langsam" und "ewig" fast schon untertrieben sind

[s!mon]

Ich hätte auch mal ne Frage

prog ist doch ein normales "Scheme-Programm". Ich darf allerdings auch nur die Funktionen dort verwenden, die ich selber definiere oder die in primitive-procedures enthalten sind.

Für meine Filterfunktion habe ich quasi die filter1-Funktion aus Folie T5-11 genommen und umgeschrieben. Also die cond-Ausdrücke durch if ersetzt usw..

Jetzt bekomme ich aber die Meldung, dass rel-op eine ungebundene Variable ist. Wo liegt mein Fehler?

[s!mon]

hat sich erledigt. hatte vergessen, dass ich lambda statt define benutzen muss

[sge]

kann man irgendwie unterscheiden, ob es sich bei dem dem parameter um einen stream, oder um eine liste handelt?
cons? und my-cons? funktioniert ja nicht.

Die beiden Teilfunktionen für Streams, bzw. Listen funktionieren für sich perfekt!

[Stumpf.Alex]

Was haste damit vor?!?

btw: Beim Metainterpreter kann man locker Frühstücken gehen.