Out of curiosity, do you know if HaRe works for 6.10? The page only
mentions GHC 6.6 and 6.8.
Duane Johnson
http://blog.inquirylabs.com/
On Mar 18, 2009, at 6:14 AM, Chris Brown wrote:
I'm not sure if you got my previous message, as I was having some
problems posting to the list...
Putting in a nutshell, I generalize an extensional defined function
definition into a recursive one. This is done in a number of steps by
modifying expressions and exploiting type information of
sub-expressions. For example:
rev [] = []
rev [a] = [a]
rev [a,b] = [b,a]
rev [a,b,c] = [c,b,a]
~~>
rev x = y
~~>
rev [] = []
rev (x:xs) = (y:ys)
~~>
rev [] = []
rev (x:xs) = (last (x:xs)) : (reverse (x:xs))
The initial set of rules is given by the user (in a file, via
IO, ...).
The problem later is to infer the type of an intermediate variable,
e.g.
'y'.
I'm still not entirely sure what you want to do here. But it sounds
like HaRe could already do most of this for you via a sequence of
folds, unfolds, introduce pattern matching and generative folding.
HaRe already has built-in support for some symbolic evaluation,
which is already used in the generative
fold refactoring, and has type checking support too.
http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html
If it doesn't do exactly what you want out of the tin, it does have
a large API for designing transformations over Haskell code.
http://www.cs.kent.ac.uk/projects/refactor-fp/hare/haddock/RefacUtils.html
Chris.
Thanks,
Martin
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Chris Brown
Visualization Software Engineer, Peiriannydd Meddalwedd Delweddu.
Cast Ltd., Technium CAST,
Ffordd Penlan, Parc Menai,
Bangor, Gwynedd UK. LL57 4HJ.
Tel: +44 (0)1248 675038
Fax: +44 (0)1248 675012
Mobile: +44 (0)7917 763712
--
Centre for Advanced Software Technology Limited is a limited company
registered in England and Wales.
Registered Number: 04473521, Registered Office: Finance Office,
Bangor University, College Road, Bangor, Gwynedd. LL57 2DG.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
