Search: onr:"swepub:oai:research.chalmers.se:245f64c3-b51f-40c4-ad43-e4ec868058ff" >
PolyP - a polytypic...
-
Jansson, Patrik,1972Chalmers tekniska högskola,Chalmers University of Technology
(author)
PolyP - a polytypic programming language extension
- Article/chapterEnglish1997
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:research.chalmers.se:245f64c3-b51f-40c4-ad43-e4ec868058ff
-
ISBN:0897918533
-
https://research.chalmers.se/publication/10120URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:kon swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions, etc. Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of user-defined datatypes. This paper extends a functional language (a subset of Haskell) with a construct for writing polytypic functions. The extended language type checks definitions of polytypic functions, and infers the types of all other expressions using an extension of Jones' theories of qualified types and higher-order polymorphism. The semantics of the programs in the extended language is obtained by adding type arguments to functions in a dictionary passing style. Programs in the extended language are translated to Haskell.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Jeuring, Johan,1965
(author)
-
Chalmers tekniska högskola
(creator_code:org_t)
Related titles
-
In:Principles of Programming LanguagesPOPL97, s. 470-4820897918533
Internet link
Find in a library
To the university's database