An der University of York wird zur Zeit Hat, ein Tracing-Werkzeug für die funktionale Sprache Haskell, entwickelt. Hat ermöglicht mehrere unterschiedliche Sichten auf eine Berechnung: Funktionen werden als endliche Abbildungen dargestellt, Redex Trails können von der falschen Ausgabe einer Berechnung rückwärts zur Fehlerstelle verfolgt werden und algorithmisches Debuggen lokalisiert Programmfehler halb-automatisch. Wir stellen sowohl die Benutzersicht als auch die wesentlichen der Implementierung von Hat zugrundeliegenden Techniken vor.