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!