Mariano 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...
Mark replied:
> Not yet, but that is exactly what I am working on in my dissertation
> research. ... Hopefully in a year I'll have something cool which
> would support much of Haskell.
Our Glide+Starship system supports such manipulation of (lazy, typed,
higher order) programs. See JFP 3(1) for an overview article.
Work is in progress (student project) to re-implement Starship for
and in Haskell.
