Ultra: Interaktive Transformation funktionaler Programme

Willkommen auf der Seite des Ultra-Projekts. Ultra ist ein interaktives Programmtransformationssystem für Haskell-Programme und selber in dieser funktionalen Programmiersprache implementiert.

ULTRA 2.2

Bis zur Version 2.2 ist das System in der zu Haskell verwandten Programmiersprache Gofer geschrieben und verwendet TkGofer zur Implementierung seiner Benutzeroberfläche.

Unter Windows 95/NT/XP/Vista/7 können Sie Ultra 2.2 herunterladen, entpacken und mit ultra.bat starten. Überspringen Sie in diesem Fall die folgende ausführliche Anleitung.

Unter Linux und anderen Betriebssystemen installieren Sie Ultra 2.2 indem Sie

  • zuerst TkGofer 2.2 installieren. Eine Anleitung zur Installation befindet sich auf der Seite von TkGofer oder in der readme-Datei. Eine Version von TkGofer 2.2 unter Windows befindet sich hier.
  • Laden Sie anschließend den Quellcode von Ultra 2.2 herunter und entpacken Sie ihn in ein von TkGofer zugreifbares Verzeichnis.
  • Sie können dann TkGofer 2.2 starten, die Projektdatei ultra.p laden und die Funktion main aufrufen.

Des weiteren erhalten Sie die folgende Dokumentation über Ultra:

ULTRA 3.0

Version 3.0 verwirklicht eine Erweiterung von Ultra auf Haskell. Details zu den Neuerungen dieser Implementierung und zur Installation finden Sie hier. Sie erhalten Ultra 3.0 in zwei Varianten:

  • als Binärcode mit einigen Bibliotheken, lauffähig unter Linux/x86 mit installiertem Tcl/Tk/Tix,
  • als Quellcode; diesen selber zu Übersetzen ist zwar möglich, aber aufwendig.

ULTRA 4.0a

Die neueste Version von Ultra implementiert eine Anbindung an den Glasgow Haskell Compiler (GHC) mit Hilfe der GHC-API für die Syntaxanalyse und Typprüfung von Haskell-Code. Dadurch sollen die Kompatibilität zu aktuellen Haskell-Standards und die Unterstützung diverser Spracherweiterungen gewährleistet werden.
Zudem bietet ULTRA 4.0a eine in der auf wxWidgets basierenden GUI-Bibliothek wxHaskell komplett neu implementierte Benutzeroberfläche (Screenshots: Windows, Linux).

ULTRA 4.0a ist verfügbar:

  • als Binärcode, ausführbar unter Windows mit installiertem GHC Version >= 7.4.1 (aktuell in der Haskell Platform enthalten). Eine Binärcode-Version für Linux ist geplant.
  • als Quelltext, dessen Übersetzung unter anderem eine installierte wxHaskell-Bibliothek voraussetzt. Die Übersetzung ist unter Windows und Linux möglich.

An der Entwicklung von Ultra waren beteiligt: Helmuth Partsch, Wolfram Schulte, Ton Vullinghs, Mark Dettinger, Joachim Schmid, Thorsten Quell, Tobias Häberlein, Walter Guttmann, Michael Stahl und Tobias Weck. Wir freuen uns über Kommentare, Vorschläge und andere Rückmeldungen, die Sie an Tobias Weck schicken können.

Kontakt

Tobias Weck