The Community for Technology Leaders
RSS Icon
Subscribe
Canberra, Australia
Jan. 31, 2000 to Feb. 3, 2000
ISBN: 0-7695-0518-X
pp: 128
David Jeffery , University of Melbourne
Fergus Henderson , University of Melbourne
Zoltan Somogyi , University of Melbourne
ABSTRACT
The type systems of functional languages such as Haskell have recently become more powerful and expressive. They not only allow programmers to write code that works on values of any type (genericity), they also allow programmers to require that a particular type belongs to a given type class (constrained genericity). Such code may use any of the methods of the type class, since every type that is a member of the type class must implement those methods.This capability makes it significantly easier to express solutions to many common problems, and promotes code reuse. Incorporating type classes in a logic programming language provides some new challenges. In this paper, we explain how we have extended Mercury's type system to include support for type classes. We show that type classes integrate very nicely with Mercury's mode, determinism and uniqueness systems, and describe how our implementation works.
CITATION
David Jeffery, Fergus Henderson, Zoltan Somogyi, "Type Classes in Mercury", ACSC, 2000, Australasian Computer Science Conference, Australasian Computer Science Conference 2000, pp. 128, doi:10.1109/ACSC.2000.824391
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool