Dictionary-free overloading by partial evaluation Export

@inproceedings{citeulike:3157500, abstract = {One of the most novel features in the functional programming 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 significant effect on run-time performance, for example, by reducing the effectiveness 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 run-time by generating specialized versions of overloaded functions. This eliminates the run-time costs of overloading. Furthermore, and somewhat surprisingly given the presence of multiple versions of some functions, for all of the examples that we have tried so far, specialization actually leads to a reduction in the size of compiled programs. 1}, author = {Jones, Mark P.}, booktitle = {In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation}, citeulike-article-id = {3157500}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.467}, keywords = {haskell, partial-evaluation, type-classes}, pages = {107--117}, posted-at = {2008-08-27 01:04:33}, priority = {0}, title = {Dictionary-free overloading by partial evaluation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.467}, year = {1994} }

TY - CONF ID - citeulike:3157500 L3 - citeulike-article-id:3157500 N2 - One of the most novel features in the functional programming 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 significant effect on run-time performance, for example, by reducing the effectiveness 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 run-time by generating specialized versions of overloaded functions. This eliminates the run-time costs of overloading. Furthermore, and somewhat surprisingly given the presence of multiple versions of some functions, for all of the examples that we have tried so far, specialization actually leads to a reduction in the size of compiled programs. 1 EP - 117 TI - Dictionary-free overloading by partial evaluation T2 - In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation SP - 107 KW - haskell KW - partial-evaluation KW - type-classes AU - Jones, Mark PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.467 ER -