On Tue, Nov 11, 2014 at 04:14:12PM +0000, Dicebot via Digitalmars-d-learn wrote:
> On Tuesday, 11 November 2014 at 16:09:06 UTC, ketmar via Digitalmars-d-learn
> wrote:
> >"набор ручек для писания", for example, as "set of pens from which
> >one pen can be taken and used (or another pen added to be used
> >later)". pretty similar to what "range" in D is, methinks.
>
> Only if http://en.wikipedia.org/wiki/Axiom_of_choice is believed to be
> correct :)
That's not a problem:
auto choose(SoS /* pun intended */)(SoS sets)
if (isSetOfSets!SoS)
in { assert(axiomOfChoice); } // <--- this makes it all work
body
{
return sets.choiceFunction();
}
;-)
T
--
Prosperity breeds contempt, and poverty breeds consent. -- Suck.com
