Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:77681
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.170 as permitted sender)
Message-ID: <54259039.5020809@gmail.com>
Date: Fri, 26 Sep 2014 17:11:37 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
To: internals@lists.php.net
References: <CAEp07h9-mX3SdJPG0CRsjbr0ZKmPXsx=UjdEpUAT_kbM5VZXiQ@mail.gmail.com> <CAA8DMBv0GOwPjru=rzMijmZ+=4gvc6z1oHN6TNH0ohFSxBLWxA@mail.gmail.com> <54233506.8080102@gmail.com> <094CB804-0F9F-44D4-BCA2-4D7612E92C10@strojny.net>
In-Reply-To: <094CB804-0F9F-44D4-BCA2-4D7612E92C10@strojny.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Little switch improvement: get the used variable
From: rowan.collins@gmail.com (Rowan Collins)

Lars Strojny wrote (on 26/09/2014):
> Hi everyone,
>
> On 24 Sep 2014, at 23:17, Rowan Collins <rowan.collins@gmail.com> wrote:
>
>> switch ( $number ) use ( === ) {
> [...]
>> switch ( $age ) use ( < ) {
> [...]
>> switch ( calculate_age($birth_date, $departure_date) as $age_at_departure ) use ( < ) {
> [...]
>> switch ( $product ) use ( instanceOf ) {
> All of these examples are trying to reinvent concepts that can be solved with guards, pattern matching and overloading in other languages.

I'm not sure how you see these as equivalent. As I mentioned, a switch 
statement is a glorified if/elseif/else, or when fallthrough is used, a 
glorified set of if-then-gotos.

> fact(N) when N>0 ->
>      N * fact(N-1);
>
> fact(0) ->
>      1.

Without the additional guarantees provided by a purely functional 
environment, that's really just inverting the function header and if 
statement.

Adding an extra case to that still means repeating the operator, so 
isn't the same as what I was talking about at all:

foo(N) when N>100 ->
     N ** foo(N-10);

foo(N) when N>0 ->
     N * foo(N-1);

foo(0) ->
     1.


> In Scala one could replicate the instanceof behaviour by defining multiple methods of the same name with different argument types.

Or, indeed, in most strongly typed languages; in OOP, polymorphism can 
be exploited for the same purpose, e.g. using the Visitor Pattern. 
Again, I'm not sure what this has to do with switch statements, except 
that overloading and polymorphism can both allow you to factor out *any* 
if/switch statement, if you so desire.

-- 
Rowan Collins
[IMSoP]