Type Classes and Constraint Handling Rules

Details Type Classes and Constraint Handling Rules Type Classes and Constraint Handling Rules

2000-06-26

arxiv.org/abs/cs/0006034v1

Computer Science

Programming Languages

14 pages, Workshop on Rule-Based Constraint Reasoning and Programming (http://www.informatik.uni-muenchen.de/~fruehwir/cl2000r

Scientific paper

Type classes are an elegant extension to traditional, Hindley-Milner based typing systems. They are used in modern, typed languages such as Haskell to support controlled overloading of symbols. Haskell 98 supports only single-parameter and constructor type classes. Other extensions such as multi-parameter type classes are highly desired but are still not officially supported by Haskell. Subtle issues arise with extensions, which may lead to a loss of feasible type inference or ambiguous programs. A proper logical basis for type class systems seems to be missing. Such a basis would allow extensions to be characterised and studied rigorously. We propose to employ Constraint Handling Rules as a tool to study and develop type class systems in a uniform way.

Affiliated with

Also associated with

No associations

Rating

Type Classes and Constraint Handling Rules does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Type Classes and Constraint Handling Rules, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type Classes and Constraint Handling Rules will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-34375