[Haskell-cafe] An issue with EDSLs in the ``finally tagless'' tradition

Brad Larsen brad.larsen at gmail.com
Thu Sep 24 00:45:20 EDT 2009


On Thu, Sep 24, 2009 at 12:22 AM, Peter Gammie <peteg42 at gmail.com> wrote:

> Ambiguity is IMHO best handled with a judicious application of type (or
> data) families, but you can get surprisingly far by simply requiring that
> every class member mention all type variables in the class head. YMMV of
> course.
> cheers
> peter

Can you say more about the use of type/data families?


More information about the Haskell-Cafe mailing list