Adding Type Classes to Functional-Logic Languages.
Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz, Julio García-Martín · 1996
: The paper discusses the advantages of introducing type classes into functionallogic languages. Type classes are a powerful type system included in the functional language Haskell that allow to model some of the object oriented programming features. A number of problems arise when type classes are combined with the functional and logic characteristics of the language, and we sketch some solutions. On the other hand it has a number of advantages like the declarative model of Prolog attribute variables or the integration in the language of bounded quantifiers. 1 Motivation During the last decade, several proposals have been made to achieve the combination of the most important declarative programming paradigms (see [Han94b, MN94b] for surveys). The resulting languages have been called functional logic languages. They offer features from functional programming (nested expressions, lazy evaluation higherorder features) and logic programming (logical variables, partial data structures, s...