On 16:25 Mon 18 May , Gü?nther Schmidt wrote: > Hi all, > > I'm trying to express a constraint using a data structure. > > Let's say I'd want to express a "mapping" of a to b, c to b, d to b and e > to f. > > A mapping can also be from a to a, b to b and so on. > > The constraint is that one cannot map a to b if b was already "mapped" to > let's say c. > > I'd like to express this constraint in a data structure, but haven't > figured out how, yet.
Hum, there was that paper where they developed a DSL for GPU computations. I remember there was the problem that GPUs can't compute "maps of maps" and they solved it using a data structure: http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html Hope that helps. Steffen _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
