A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs

Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Implementation and Application of Functional Languages, IFL 2016, 31 Aug - 2 Sep 2016, Leuven, Belgium. (In press) (doi:https://doi.org/10.1145/3064899.3064904) (Full text available)

PDF - Author's Accepted Manuscript
Download (599kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1145/3064899.3064904

Abstract

Existing methods for generating a detailed trace of a computation of a lazy functional program are complex. These complications limit the use of tracing in practice. However, such a detailed trace is desirable for understanding and debugging a lazy functional program. Here we present a lightweight method that instruments a program to generate such a trace, namely the augmented redex trail introduced by the Haskell tracer Hat. The new method is a major step towards an omniscient debugger for real-world Haskell programs.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Olaf Chitil
Date Deposited: 31 Mar 2017 10:29 UTC
Last Modified: 03 Apr 2017 15:45 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/61147 (The current URI for this page, for reference purposes)
ORCiD (Chitil, Olaf): http://orcid.org/0000-0001-7986-9929
ORCiD (Runciman, Colin): http://orcid.org/0000-0002-0151-3233
  • Depositors only (login required):