AW: [PHP-DEV] Re: [RFC] [PRE-VOTE] Union types

Hi Andrea, Bob > -----Ursprüngliche Nachricht----- > Von: Bob Weinand [mailto:bobwei9@hotmail.com] > Gesendet: Sonntag, 5. Juni 2016 01:00 > An: Andrea Faulds > Cc: internals@lists.php.net > Betreff: Re: [PHP-DEV] Re: [RFC] [PRE-VOTE] Union types > > > > Am 05.06.2016 um 00:55 schrieb Andrea Faulds <ajf@ajf.me>: > > > > Hi again, > > > > In an attempt to be constructive, I have implemented an alternative approach to weak > > scalar type selection here: > > > > > > https://github.com/krakjoe/php-src/compare/multi-types...TazeTSchnitzel:multi-types-roulette > > > > Where there is no exact scalar type match, this patch uses an algorithm originally > > suggested by Nikita, wherein we use > rand() to pick which type to cast to. > > > > This is much simpler than having a type precedence matrix, and thus is easier to remember > > and reason about. The choice > of selection function means that no particular use-case is privileged. Given PHP's scalar > types are roughly equivalent (after > all, PHP juggles them freely), this apparently unorthodox selection process should nonetheless > produce sensible results in > most cases. > > > > Please tell me your thoughts! > > > > -- > > Andrea Faulds > > https://ajf.me/ > > <https://ajf.me/> > This is the holy grail I was hunting for so long! > > All my computational problems can be solved by a simple rand()! > > In case nobody objects I'm going to merge that straight ahead into php-src 7.0 (no need > for master-only, after all it's no real > BC break!). > > Thanks a very much!!! > > Bob Not sure if this is a clever idea. I haven't read all emails so bear with me if this is more than clear. What happens with the following? function foo(int | string $a) { if ($a == "") { //a } else { //b } } foo(false); What branch is taken? Is it taken randomly?