"Peter Rosenbeck" <peter.rosenbeck@apis.de> writes:
I'm quite disappointed about the development environment that comes with GHCI and Hugs (the only systems which I had a closer look at). Compared to PLT Scheme (not to mention Smalltalk) this feels very antiquated. No trace, no symbolic debugging, no breakpoints.
Tracing/debugging in a lazy language is considerably different from a standard debugger. Setting breakpoints and then evaluating step-by-step is much less informative than you might imagine. Nevertheless there are some tracing systems for Haskell, which you can find listed at haskell.org. They include Hat, Buddha, and Hood.
Is there an implementation of the UnitTest-Framework which is so popular in the OO community.
Yes, there is HUnit. For systematic random testing, there is QuickCheck. And if you are interested in verification more generally, including both testing and proof, there is the Programmatica project too. Regards, Malcolm