loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Paul Bailes and Colin Kemp

Affiliation: The University of Queensland, Australia

ISBN: 978-989-758-189-2

Keyword(s): Catamorphism, Church Numeral, Foldr, Functional Programming, Fusion Theorem, Haskell.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Functional or “zoetic” representations of data embody the behaviours that we hypothesise are characteristic to all datatypes. The advantage of such representations is that they avoid the need, in order to realize these characteristic behaviours, to implement interpretations of symbolic data at each use. Zoetic data are not unheard-of in computer science, but support for them by current software technology remains limited. Even though the first-class function capability of functional languages inherently supports the essentials of zoetic data, the creation of zoetic data from symbolic data would have to be by repeated application of a characteristic interpreter. This impairs the effectiveness of the “Totally Functional” approach to programming of which zoetic data are the key enabler. Accordingly, we develop a scheme for synthesis of generator functions for zoetic data which correspond to symbolic data constructors but which entirely avoid the need for a separate interpretation stage. This avoidance allows us to achieve a clear separation of concerns between the definitions of datatypes on the one hand and their various applications on the other. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.214.184.124

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Bailes, P. and Kemp, C. (2016). Zoetic Data and their Generators.In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 260-271. DOI: 10.5220/0005914902600271

@conference{enase16,
author={Paul Bailes. and Colin Kemp.},
title={Zoetic Data and their Generators},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},
year={2016},
pages={260-271},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005914902600271},
isbn={978-989-758-189-2},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - Zoetic Data and their Generators
SN - 978-989-758-189-2
AU - Bailes, P.
AU - Kemp, C.
PY - 2016
SP - 260
EP - 271
DO - 10.5220/0005914902600271

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.