Re: Debugging Alice ML
Andreas Rossberg <rossberg <at> mpi-sws.mpg.de>
2008-02-08 10:32:30 GMT
On Feb 7, 2008, at 23.29h, Jose Balado wrote:
> Hi, I would like to know how could I debug programs in Alice ML or
> Standard ML, it seems there is no debugger like in Oz or SWI-Prolog.
> My intention is to trace program execution to help me understand
> algorithms and programs writenn in Alice. Any hints or links to
> bibliography would be very helpful, thanks.
Short answer is: there is no debugger for Alice ML. There is a half-
finished one in the CVS, but it is orphaned at the moment. The
Inspector might help a bit with tracing data structures, though.
As for other SMLs, I am not aware of any either, except that there
was a relatively fancy time travelling debugger for early versions of
One of the reasons is lack of resources of course. But there also is
the experience that classical debuggers are less useful (due to
higher-order functions) and less needed (because complex state is
mostly avoided) for functional programming. Often, "print debugging"
is just as fine, especially if you have complex data structures that
you need to pre-process for inspection.