Abstract
Typing terms that act uniformly on all data structures is challenging because the type of a compound does not determine the types of its components, so that direct attempts to type car or cdr produce ill formed types. The query calculus can be seen as a typed version of the compound calculus, in which the operators car and cdr are replaced by folds built from functions that are polymorphic enough to handle whatever components may arise. Such folds are expressive enough to represent many path polymorphic functions including the usual generic queries. Further, by constraining the types of constructors to avoid higher types, reduction becomes strongly normalising. When typing the static pattern calculus, the challenges are met by careful characterisation of the local type symbols that are implicitly bound in a case.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jay, B. (2009). Path Polymorphism. In: Pattern Calculus. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89185-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-89185-7_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89184-0
Online ISBN: 978-3-540-89185-7
eBook Packages: Computer ScienceComputer Science (R0)