Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a number of moderately complex programs in which errors had deliberately been introduced. We identify the strengths and weaknesses of each system and then form ideas on how the systems can be improved further.

• Type: Conference
• Year: 2000
• Where: IFL
• Authors: Olaf Chitil, Colin Runciman, Malcolm Wallace
• Keywords: Complex Programs, Formal Methods, Haskell Programs, IFL 2000, Systems