I can't recall which, but I remember reading about a language with a
relative complement operator on types. The idea is, where T is a set of
types, then:
T \ {A, B, ...}
would be all types in T *except* A, B, ....
I think maybe there could be a type variable Except that could be used like:
Except[T, A, B, ...]
where T is a type variable. (Other name ideas: Complement, Difference).
--
Ryan
[ERROR]: Your autotools build scripts are 200 lines longer than your
program. Something’s wrong.
http://kirbyfan64.github.io/
On Jul 25, 2016 6:58 PM, "Greg Ewing"
Bar Harel wrote:
Soon enough we'll have NotBytesSequence, NumericSequenceWithoutFloat and BuiltinNotCustomMadeIterable.
Is there some way we could provide a general way of constructing a "but not" ABC, so that people could build their own combinations as needed?
-- Greg
_______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/