Mark Jones. A new approach to the implementation of type classes. Appeared on the Haskell mailing list.  Home/Search   Document Not in Database   Summary   Related Articles

....selector functions ( and ( are just shown for clarity; in a real translation they would be unfolded. Together with the next transformation the tail calls inside the case expression can be made quite efficient. A more radical approach for avoiding construction of dictionaries is taken in [Jon]. With this approach all expressions yielding a dictionary as the result (e.g. Eq.List Eq.Char ) will have constants components, and can thus be computed at compile time instead of at run time. Unfortunately this approach requires a generalization of the Haskell type system, so we have not ....

Mark Jones. A new approach to the implementation of type classes. Appeared on the Haskell mailing list.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC