Re: [RFC] Union Types

On Wed, 13 Apr 2016, Levi Morrison wrote: > As alluded to in an earlier email today[1] I am now moving the Union > Types RFC[2] to the discussion phase. The short summary of the RFC is > that it permits a type declaration to be one of several enumerated > types. For example, this is a potential signature for a multi-type map > routine: > > function map(callable $f, Array | Traversable $iterable); I think what I am missing in the RFC is behaviour with scalar (weak) typehints, and which type the variable in a class would be converted to. Take for example: function foo(int|bool $var) { echo get_type( $var ), "\n"; } foo(5); I guess int(5) foo(false); I guess bool(false) foo(0.5); It could be either int(1) or bool(true) And what if the hint would be "bool|int" ? Although it's probably easy enough to solve in this case, the RFC should detail how type conversion works with the scalar types. cheers, Derick