This looks like some interesting research in the right direction for debugging lazy programs, http://arxiv.org/pdf/1108.4706v1 http://arxiv.org/pdf/1108.4706v1.

This looks like some interesting research in the right direction for debugging lazy programs, http://arxiv.org/pdf/1108.4706v1 http://arxiv.org/pdf/1108.4706v1. Which goes to show, people need to be looking at Racket a lot more then they do - including Haskellers.