Type Generic Observing

Faddegon, Maarten and Chitil, Olaf (2014) Type Generic Observing. In: Hage, Jurriaan and McCarthy, Jay, eds. Type Generic Observing. 15th International Symposium on Trends in Functional Programming, TFP 2014. LNCS 8843. Springer pp. 84-103. ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:https://doi.org/10.1007/978-3-319-14675-1_6) (Full text available)

PDF (As sent to publisher; published version has different layout.) - Publisher pdf
Download (230kB) Preview
Official URL


Observing intermediate values helps to understand what is going on when your program runs. Gill presented an observation method for lazy functional languages that preserves the program's semantics. However, users need to define for each type how its values are observed: a laborious task and strictness of the program can easily be affected. Here we define how any value can be observed based on the structure of its type by applying generic programming frameworks. Furthermore we present an extension to specify per observation point how much to observe of a value. We discuss especially functional values and behaviour based on class membership in generic programming frameworks.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Haskell, HOOD, observing values, debugging, tracing
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: 12 Jun 2015 10:36 UTC
Last Modified: 10 May 2016 10:37 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/49013 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year