DMdAErrataDownloadCodeMaterialScheme

Die Macht der Abstraktion - Software


DrScheme

Die Programmierbeispiele im Buch benötigen die folgende Software:

DrScheme, Version 4.2.3 (Dezember 2009)

Die DrScheme-Software ist kostenlos und für viele Plattformen, u.a. Windows, Mac OS X und Linux/Unix verfügbar.

Die DMdA-Erweiterungen sind bei der aktuellen Version von DrScheme bereits mitgeliefert.

Allerdings fehlen dabei die grafischen Testfälle, die im Buch beschrieben sind. Stattdessen wird der neue Mechanismus check-expect unterstützt, der im Hilfezentrum beschrieben ist. Wir empfehlen die Benutzung von check-expect.

Änderungs-Protokoll

Zusätzliche Teachpacks

Zusätzliche Teachpacks für das Programmieren von Text-Kryptografie und GUIs können nachinstalliert werden:

  • deinprogramm-add-ons.plt herunterladen
  • DrScheme starten

    Achtung Windows Vista: Wenn unter Vista DrScheme selbst "als Administrator" installiert wurde, muß auch bei diesem Schritt DrScheme so gestartet werden (also über Kontextmenü -> "als Administrator")

  • Menüpunkt Datei -> .plt-Datei installieren bzw. File -> Install .plt file auswählen
  • auf den Knopf Datei bzw. File klicken
  • die heruntergeladene Datei deinprogramm-add-ons.plt.plt auswählen
  • warten, bis die Installation abgeschlossen ist
  • DrScheme neu starten
  • Im Inhaltsverzeichnis des Hilfezentrums ganz unten steht ein neuer Eintrag Zusätzliche Teachpacks für Die Macht der Abstraktion, in dem die neuen Teachpacks dokumentiert sind.

Grafische Testfälle

Für einige Zeit bieten wir noch die grafischen Testfälle noch zum Download an, damit alte Programme umgestellt werden können.

  • DMdA-test-suite.plt herunterladen
  • DrScheme starten

    Achtung Windows Vista: Wenn unter Vista DrScheme selbst "als Administrator" installiert wurde, muß auch bei diesem Schritt DrScheme so gestartet werden (also über Kontextmenü -> "als Administrator")

  • Menüpunkt Datei -> .plt-Datei installieren bzw. File -> Install .plt file auswählen
  • auf den Knopf Datei bzw. File klicken
  • die heruntergeladene Datei DMdA-test-suite.plt auswählen
  • warten, bis die Installation abgeschlossen ist
  • DrScheme neu starten

DMdA-Erweiterungen für ältere Versionen von PLT-Scheme

DMdA-Erweiterungen für PLT Scheme 4.1.4, 4.1.3, 4.1.2
Version vom 8.2.2009

Diese Datei enthält Erweiterungen für DrScheme, darunter die Sprachebenen, die im Buch benutzt werden.

Neuerung: Diese neue Version unterstützt einen alternativen Mechanismus für das Schreiben von Tests durch die neuen Spezialformen check-expect, check-within und check-error. Dokumentation befindet sich unter "Sprachebenen zu Die Macht der Abstraktion" im Hilfezentrum. Die neue Version hat den Nebeneffekt, daß Programme ohne die neuen Tests den Satz

This program should be tested.

ausgeben, auch wenn grafische Test-Boxen vorhanden sind.

Neuerung: Außerdem unterstützt die neue Version die Formulierung von Verträgen im Code (statt in den Kommentaren). Dokumentation befindet sich im Hilfezentrum in "Sprachebenen zu Die Macht der Abstraktion" unter "Verträge".

Achtung: Viele Linux-Distributionen bieten DrScheme als "Package" an, aber nicht notwendig in der korrekten Version. Im Zweifelsfall empfiehlt sich Download und Installation von der DrScheme-Webseite.

Installation (nach der Installation von DrScheme selbst):
  • DMdA-4.1.x.plt herunterladen
  • DrScheme starten

    Achtung Windows Vista: Wenn unter Vista DrScheme selbst "als Administrator" installiert wurde, muß auch bei diesem Schritt DrScheme so gestartet werden (also über Kontextmenü -> "als Administrator")

  • Menüpunkt Datei -> .plt-Datei installieren bzw. File -> Install .plt file auswählen
  • auf den Knopf Datei bzw. File klicken
  • die heruntergeladene Datei DMdA-4.1.x.plt auswählen
  • warten, bis die Installation abgeschlossen ist
  • DrScheme neu starten

Nach der Installation sollten Einträge zu "DeinProgramm-Teachpacks", "Sprachebenen zu Die Macht der Abstraktion" sowie "Konstruktionsanleitungen 1 bis 10" im Inhaltsverzeichnis des Hilfezentrums auftauchen. Falls dies nicht der Fall ist, sollte das Programm setup-plt bzw. Setup PLT.exe noch einmal gestartet werden.