Skip to main content
Kent Academic Repository

Type Generic Observing

Faddegon, Maarten, 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 . pp. 84-103. Springer ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:10.1007/978-3-319-14675-1_6) (KAR id:49013)

PDF (As sent to publisher; published version has different layout.) Publisher pdf
Language: English
Download this file
[thumbnail of As sent to publisher; published version has different layout.]
Request a format suitable for use with assistive technology e.g. a screenreader
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)
DOI/Identification number: 10.1007/978-3-319-14675-1_6
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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Olaf Chitil
Date Deposited: 12 Jun 2015 10:36 UTC
Last Modified: 16 Feb 2021 13:25 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Faddegon, Maarten.

Creator's ORCID:
CReDIT Contributor Roles:

Chitil, Olaf.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.