Mariano Suarez Alvarez wrote:
>
> Has anyone written a Haskell program manipulator?
> What I have in mind is some kind of interactive environment allowing one
> to, say, fold/unfold definitions, typecheck (sub)expressions,
> etc...e??Xa?^aZOUo^aUu[ZaaG??E?u?u
>
Not yet, but that is exactly what I am working on in my
dissertation research. After working a little on
transferring
partial evaluation techniques to a lazy language like
Haskell,
it seemed to me that a program transformation system would
be
the natural tool which could subsume a partial evaluation
tool.
Hopefully in a year I'll have something cool which would
support
much of Haskell. My goal is to create a _useful_ tool
and I will post to this group when I believe I've got
something
in a useful form.
I'd certainly welcome any suggestions as to what people
would
find useful.
- Mark Tullsen
=================================================================
Mark Tullsen
[EMAIL PROTECTED]
Dept. of Computer Science Tel: (203) 432-1267
Yale University
51 Prospect St.
P. O. Box 208285
New Haven, CT 06520-8285
