Skip to main content

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: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064904) (KAR id:61147)

PDF Author's Accepted Manuscript
Language: English
Download (320kB) 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: Book section
DOI/Identification number: 10.1145/3064899.3064904
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: 24 Sep 2019 08:48 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/61147 (The current URI for this page, for reference purposes)
Chitil, Olaf: https://orcid.org/0000-0001-7986-9929
Runciman, Colin: https://orcid.org/0000-0002-0151-3233
  • Depositors only (login required):

Downloads

Downloads per month over past year