Dictionary-free overloading by partial evaluation

jonesmarkcsyaleedu One of the most novel features in the functional program ming language Haskell is the system of type classes used to support a combination of overloading and polymorphism Current implementations of type class overloading are based on the use of dictionary values passed as extra parameters to overloaded functions Unfortunately this can have a sig nicant eect on runtime performance for example by re ducing the eectiveness of important program analyses and optimizations This paper describes how a simple partial evaluator can be used to avoid the need for dictionary values at runtime by generating specialized versions of overloaded functions This eliminates the runtime costs of overloading Furthermor