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

[Steffen Schuldenzucker]

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