New Strafunski packages released

[Ralf Laemmel]

New Strafunski packages released
--------------------------------

Strafunski is a Haskell-centred bundle that provides
support for generic programming and language processing.
Strafunski is based on the notion of a functional
strategy --- first-class generic functions that can
traverse into terms while mixing uniform and type-specific
behaviour.

This is the 3rd release of Strafunski with the following
improvements:

- StrategyLib extended by several themes, e.g., for metrics.
- Added Sdf2Haskell package for mapping syntaxes to datatypes.
- Cobol, Java, and Haskell meta-programming examples included.
- Haskell ATermLib integrated.
- Sample code from the following papers integrated:
  - PADL 2003: A Strafunski application letter
  - RULE 2002: Towards Generic Refactoring
  - WRS  2002: The Sketch of a Polymorphic Symphony
- DrIFT-Strafunski supports a number of additional models.

Documentation, papers, and downloads are now available from:

  http://www.cs.vu.nl/Strafunski

A good entry point for contemporary Strafunski is:

  A Strafunski Application Letter (PADL 2003)
  See http://www.cwi.nl/~ralf/padl03/

It demonstrate that typed functional programming in Haskell,
augmented with Strafunski's support for generic traversal
and external components, is very appropriate for the
development of practical language processors. In particular,
Strafunski is used for Cobol reverse engineering, Java code
metrics, and Haskell re-engineering.

Feedback is very much appreciated,
and can be directed to the authors:

  * Ralf Laemmel    (ralf@cwi.nl)
  * Joost Visser    (Joost.Visser@cwi.nl)

Have fun!