On this page, you can find:
The integrated software development environment is modelled as a reactive system, with events as the primitive notion. Events can come from
To allow the development of (no longer) state-of-the-art graphical user interfaces in a functional style, the workbench provides HTk, an encapsulation of Tcl/Tk, which is based on Haskell-Expect. It combines the advantages of Tk (platform independency, abstraction) with the advantages of Haskell (type safety), bypassing the shortcomings of Tcl (untypedness, lack of structuring concepts).
In HTk, widgets are modelled as datatypes, and the different configuration options as type classes, allowing many errors which in Tcl/Tk only occur at runtime to be caught by typechecking. User inputs are modelled by events, to which the system reacts asynchronously, making HTk fully concurrent.
To compile the workbench, you need the Glasgow Haskell Compiler Version 6 download it from here.
We have compiled the workbench under several unix architectures.
The most comprehensive description of the workbench and its design philosophy is Einar Karlsen's doctoral dissertation, Tool Integration in Functional Programming Language (Universität Bremen, 1998). It has by now been obsoleted by ongoing development, but still describes the main design ideas.
If you have any questions or feedback at all, please drop us a mail at firstname.lastname@example.org.