2010-06-08 Michael Sperber * Racket 5.0: * Die parametrischen Verträge mit `define-record-procedures-parametric' werden nun verzögert überprüft - erst bei der Anwendung der Selektoren. Dies verhindert, daß, wie bisher, rekursive parametrische Verträge (wie für Listen oder Bäume) zu drastischen Laufzeitsteigerungen führt. 2009-12-01 Michael Sperber * PLT-Scheme 4.2.3: * In den Sprachebenen "Die Macht der Abstraktion - Anfänger" und "Die Macht der Abstraktion" wird jetzt Sharing korrekt ausgedruckt. (Keine "#0#"-Markierungen mehr.) * Kleinere Verbesserungen und Fehlerkorrekturen bei "check-property". * Neue Verträge `contract' und `property' für Verträge respektive Eigenschaften. * Neue Formen `check-member-of' und `check-within' (sowie `expect-member-of' und `expect-within' innerhalb von Eigenschaften) zum Testen von Fallunterscheidungen und Intervallen. * `string->symbol' ist in "Die Macht der Abstraktion - fortgeschritten" verfügbar. * Das universe.ss-Teachpack ist jetzt verfügbar. (Allerdings noch nicht auf Deutsch dokumentiert.) 2009-10-05 Michael Sperber * PLT-Scheme 4.2.2: * Tests können mit `check-property' und `for-all' auf der Grundlage von Eigenschaften geschrieben werden, für die automatisch randomisierte Testfälle generiert werden. * Die Form `contract' ist verfügbar, die erlaubt, Vertragskonstruktoren mit `lambda' statt mit dem speziellen `define-contract' zu schreiben. * Die Verträge erhalten die direkte Endrekursion. * Der Stepper behandelt `and' und `or' korrekt bezüglich Endrekursion. * Die Syntax von `define-record-procedures-parametric' und `define-record-procedures-parametric-2' wurde leicht geändert. * Details im Hilfezentrum oder unter http://docs.plt-scheme.org/deinprogramm/index.html. 2009-03-22 Michael Sperber * Die DMdA-Erweiterungen sind bei PLT-Scheme 4.1.5 mitgeliefert; lediglich die grafischen Testfälle müssen bei Bedarf nachinstalliert werden. 2009-02-08 Michael Sperber * Verschiedene Probleme mit dem `image.ss'-Teachpack wurden behoben, insbesondere mit Bildern der Größe 0. 2009-02-04 Michael Sperber * Das `sound.ss'-Teachpack ist wieder dokumentiert und enthält eine neue Prozedur `background-play-sound-file'. * `define'-Formen können nur noch ganz außen vorkommen 2009-01-22 Michael Sperber * Das `image.ss'-Teachpack stellt jetzt auch ein leeres Bild `empty-image'. * Ab Sprachebene "Die Macht der Abstraktion" ist `fold' (entspricht `list-fold' aus dem Buch) eingebaut. * Vergleich von Bildern aus dem image.ss-Teachpack (relevant für Testfälle) abermals korrigiert. * Neues Teachpack: `turtle.ss' von Phillip Heidegger, Universität Freiburg. * Vertrag `unspecific' ab Sprachebene "mit Zuweisungen" 2009-01-08 Michael Sperber * Bessere Fehlermeldungen für einige Fehler bei Verträgen * Fehler bei rekursiven Verträgen, der zu Endlosschleifen führen konnte, korrigiert * Vergleich von Bildern aus dem image.ss-Teachpack (relevant für Testfälle) korrigiert. * Die Prozedur `string-length' ist jetzt in allen Sprachebenen verfügbar. * `image?' dem image.ss-Teachpack ist jetzt definiert 2008-12-12 Michael Sperber * Fehler bei `mixed'-Verträgen behoben. 2008-12-11 Michael Sperber * verbesserte Fehlermeldungen * Vertragsdefinitionen können in ihrer Reihenfolge flexibler angeordnet werden * verschiedene kleinere Verbesserungen und Korrekturen 2008-11-25 Michael Sperber * Unterstützung für PLT 4.1.3 * list-Vertrag cacht Resultate * div. Fehler im Zusammenhang mit `define-record-procedures-2' behoben. * bessere Fehlermeldungen 2008-11-18 Michael Sperber * Vertrag empty-list für die leere Liste * parametrische Verträge und Record-Definitionen * weniger aggressive Farben für die Abdeckungs-Anzeige * verbesserte Fehlermeldungen * Probleme mit Stepper behoben 2008-11-03 Michael Sperber * Fehlermeldung bei (inkorrekten) Verträgen der Form (: foo? (foo -> boolean)) statt Endlosschleife. 2008-11-02 Michael Sperber * Versionen für PLT 4.1.2 und 4.1.1 * Die Farbeinstellung für die Abdeckungs-Anzeige wurde auffälliger gestaltet. * Bessere Fehlermeldungen für Vertragserklärungen. * Die merkwürdigen (define dummy ...), die im Stepper auftauchten, sind entfernt. * Diverse kleinere Fehler wurden behoben. 2008-10-28 Michael Sperber * Ein Mac-spezifischer Fehler bei Testfällen wurde behoben. 2008-10-27 Michael Sperber * Einige kleinere Fehler wurden behoben. 2008-10-26 Michael Sperber * Einige Vertragsverletzungen bekommen bessere Fehlermeldungen. * Einige Fehler im Zusammenhang mit Verträgen wurden behoben. * Die Teachpacks image.ss und world.ss funktionieren wieder. 2008-10-21 Michael Sperber * Unterstützung für Verträge im Code (siehe in der Sprachebenen-Dokumentation unter "Verträge) * Einige Fehler im Zusammenhang mit Top-Level-Variablen wurden behoben. 2008-10-14 Michael Sperber * Version für PLT 4.1.1. (noch experimentell) * Alle Sprachebenen unterstützen jetzt check-expect etc. für das Schreiben von Testfällen. (Die Unterstützung für die grafischen Testfälle wird zu gegebener Zeit verschwinden.) 2008-01-27 Michael Sperber * Sound-Teachpack. 2008-01-27 Michael Sperber * Die Test-Boxen funktionieren jetzt auch für Datenstrukturen mit Zyklen. 2008-01-22 Michael Sperber * line.ss: Die Selektoren `color-{red,green-blue}' sind jetzt dokumentiert. * world.ss: Die Pfeiltasten werden bei `on-key-event' jetzt auch unterstützt und liefern "up", "down", "right" und "left". 2008-01-04 Michael Sperber * Version für PLT 372. 2007-12-20 Michael Sperber * line3d-Teachpack (von Martin Bokeloh, Uni Tübingen) hinzugefügt. 2007-12-02 Michael Sperber * Verschiedene obskure Probleme im Zusammenhang mit Testfällen beseitigt. 2007-11-18 Mike Sperber * Bessere Fehlermeldung für (lambda x ...) in den ersten beiden Sprachebenen. * Fehler korrigiert bei Fehler-Test-Boxes 2007-11-06 Mike Sperber * Im Stepper Records richtig anzeigen. 2007-10-30 Mike Sperber * Im Stepper bei Prozeduraufrufen den Lambda-Ausdruck nicht sofort expandieren. 2007-10-18 Mike Sperber * In Test-Boxen immer die Ergebnisse anzeigen. 2007-09-26 Mike Sperber * Test-Box-Menü unter Max OS X richtig behandeln.