Re: For: [your code hear]

[Timon Gehr]

On 02/07/2012 08:16 PM, Manfred Nowak wrote:

Goal: show some skill of D for implementing mathematics.

A definition:

Let T1, T2, T3 be sets. A problem P of type ( T1, T2, T3) is
interpretable as a function from the domain
    cartesian product of T1 and powerset of T2
to the codomain
    T3.

Objective: Present code, that is usefull for all P, i.e. for all
variations of ( T1, T2, T3) and all algoritm to compute the map from
the domain to the codomain.

-manfred

T3 foo(T1,Set!T2);