[Prev][Next][Index][Thread]
Strafunski: Major New Edition
Strafunski is a bundle that provides support for generic programming
in Haskell, based on the concept of a functional strategy. Functional
strategies are generic functions that
(i) can be applied to any type,
(ii) allow generic traversal into subterms,
(iii) can be customized with type-specific behaviour,
(iv) are first-class citizens.
Strafunski consists of a combinator library (StrategyLib) and a
precompiler (DrIFT-Strafunski). Release 2.0 of StrategyLib and release
1.4 of the Strafunski variation on DrIFT are now available from:
http://www.cs.vu.nl/Strafunski/
This is what you might expect fom the page:
Questions and answers
Documentation
Download
Background papers
Applications of Strafunski
Below we describe changes with respect to the previous release,
and we give further pointers.
StrategyLib
-----------
Changes with respect to the previous release include:
* Added many combinators to the library, and split up the module
StrategyLib into:
- The top-level module StrategyLib which imports all other
modules.
- A range of `theme' modules into which combinators are grouped
according to the concerns they address. Among these are the
TraversalTheme, the FlowTheme, the EffectTheme, the KeyholeTheme,
the FixpointTheme, and more.
- A module StrategyOverloading that allows type-unifying and
type-preserving combinators to be treated in uniform manner.
- A module StrategyPrelude which defines basic combinators that
can be defined in term of truly primitive ones.
- Some modules that do not provide strategy combinators but
general utilities functions, such as MonadicFunctions, and
MonadRun.
* The underlying term representation has been improved. Conversion
to/from this representation during generic traversal is now more
efficient. Also, instances of the Term class have been added for
the basic types Char, Int, 2-tuples, Either and Ratio.
* The various theme modules feature many of the combinators that
illustrate the design patterns for functional strategic programming
as presented in [1].
* Added a number of examples, including one that demonstrates
strategic programming on the abstract syntax of Haskell.
The new term representation was contributed by John Meacham.
DrIFT-Strafunski
----------------
Changes with respect to previous versions include:
* Merger of instances derivation rules with those of jDrIFT. In
particular, the rule for Term now supports the term representation
module based on Dynamic as available in StrategyLib version 2.0.
* Instance derivation for the ATermConvertible class, as available
in the Haskell ATerm Library.
* Command line option -r for generating instances only, i.e. not
repeating the contents of the input file itself.
* Command line option -g that allows global directives to be
specified on the command line instead of in the input file.
The DrIFT-Strafunski package was based on the original implementation
of DrIFT by Noel Winstanley and its updated implementation by Malcolm
Wallace. The new instance derivation rule for Term was contributed by
John Meacham. We hope DrIFT-Strafunski will soon be made redundant by
John's unifying implementation: jDrIFT.
Background
----------
The following papers provide useful background info:
[1] Ralf Laemmel and Joost Visser
Design Patterns for Functional Strategic Programming.
http://www.cs.vu.nl/Strafunski/dp-sf/
This paper seeks to provide practicing functional programmers with
pragmatic guidance in crafting their own strategic programs. It
presents the fundamentals and the support from a user's perspective,
and includes a catalogue of design patterns.
Read this paper if you want to use Strafunski.
[2] Ralf Laemmel and Joost Visser
Typed Combinators for Generic Traversal
http://www.cs.vu.nl/Strafunski/sf/
This paper introduces the concept of functional strategies. It shows
how strategies are modelled inside Haskell, and it present the first
version of StrategyLib.
Read this paper if you want to know what makes Strafunksi work.
[3] Ralf Laemmel
A Polymorphic Symphony
http://www.cwi.nl/~ralf/polymorphic-symphony/
This paper reconstructs functional strategies as an amalgamation of
certain bits of parametric polymorphism, type case, polytypism, and
overloading.
Read this paper if you want to know how Strafunski can be
generalized and how it may look in future.
Feedback is much appreciated, and can be directed to the authors:
* Ralf Laemmel (mailto:ralf@cwi.nl)
* Joost Visser (mailto:Joost.Visser@cwi.nl)
Have fun!