On Tue, Dec 19, 2017 at 10:05 AM, Andreas Hennings <andr...@dqxtech.net> wrote: > We already have other "meta" types. > E.g. "callable" can be a string, an array, an object with __invoke(). > A "numeric" can be float or int. > A "iterable" can be an array or an traversable object.
For correctness: `callable` is not the union `string | array | object` because only certain kinds of strings, arrays, and objects are accepted. > Personally I don't think we need every possible union, let alone > intersections. How many do we need to have for us to make the conclusion we should stop making special-cases in the engine and generalize it? In any case we are straying off-topic: this thread is about `mixed` which I would vote against. As our type-system stands it provides almost no value. If our type system ever changes and it suddenly provides value then it should be proposed at that point. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
