[Haskell-cafe] Trying to Express Constraints using a data
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