[Haskell-cafe] Trying to Express Constraints using a data structure

Steffen Schuldenzucker Steve.Schuldenzucker at web.de
Mon May 18 12:24:48 EDT 2009

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:


Hope that helps.


More information about the Haskell-Cafe mailing list