The modularity problem I speak of is that to add a new interpretation of the DSL, I will likely have to modify the EDSL definition to add additional constraints. Ideally, I would like to be able to define the EDSL once, in a module, and be able to write arbitrary interpretations of it in other modules, without having to go back and change the EDSL definition.
Regards, Bradford Larsen On Sep 24, 2009 2:15 AM, "Luke Palmer" <lrpal...@gmail.com> wrote: On Wed, Sep 23, 2009 at 10:24 PM, Brad Larsen <brad.lar...@gmail.com> wrote: > On Wed, Sep 23, 2009 ... >> I would like to see an example of this unmodularity, making use of the >> polymorphism, so I can ... > [...] > > A simple test case, combining boolean expressions and arithmetic expressions: > > test1 = con... Looks great! So, where is the modularity problem? Luke
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe