fill0llif

Results 4 comments of fill0llif

pull 'Set'-producing operations | & ~ up to 'Collection'

> @gavinking wrote: > > > Well, sure, every Iterable is effectively a Set. > > Hmm, through using Java I have empirically developed the (perhaps incorrect) understanding that `Set`s...

pull 'Set'-producing operations | & ~ up to 'Collection'

> This isn't really correct, at least not in modern axiomatic set theory, where "set" is a primitive notion. The only operation a mathematical set has is ∊, and one...

pull 'Set'-producing operations | & ~ up to 'Collection'

Then it's more than ok. That would be very useful.

allow un-'shared' refinements

If I may have a say in this, IMO I believe: - a shared formal member shouldn't have an un-shared refinement, because the subtype is ultimately a **set containing the...