Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82540
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.218.51 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <342635C4-F0EA-4557-A37F-753E51100402@ajf.me>
References: <8703B53E-2C4A-4AC6-95C4-D4F19C6D5221@ajf.me>
	<CABBJUpf=wKvGY9+xORRv6WVhCb5+LfRZXGYNasHFS=fz_mwaZQ@mail.gmail.com>
	<CABBJUpeceN1uDK870eV2=znC9f3eaxqYCmaEk0ErH2cbFxTNEw@mail.gmail.com>
	<CABBJUpdYnaR2nztPwFUdDAiAneRrAWzGo-36-DA9hqiBjEHXNA@mail.gmail.com>
	<54DAF884.7000508@lerdorf.com>
	<203e611c8e0b03568a868b8d931aec37@mail.gmail.com>
	<F79D6CDF-20DD-4E24-B2F4-F12637368242@ajf.me>
	<CAFp73XsF37WLzfax-NOgMLf7AU2UodpEz5=ZBMtnuYG+BeMP_w@mail.gmail.com>
	<61E01A7C-C5C8-447F-A8FA-E12A18E847CA@ajf.me>
	<CAB6YZuzW2zBS6t6mY+u1TnxBodG4ru0BTc2z=PR9oKzUcOfXCQ@mail.gmail.com>
	<CFA87680-131D-4382-8B3C-8E13CAF5CA81@ajf.me>
	<CAB6YZux_v-sEozOr_moiT1Dyc_NF-YbFbgaBKH=7bPQ4ZvOiDg@mail.gmail.com>
	<85D76C91-9A9E-459B-847A-619AA21B9262@ajf.me>
	<CAB6YZuz0YU6RMZ9pZmyTjJaDVm81JW3e73htcOw62ui1B71H3Q@mail.gmail.com>
	<342635C4-F0EA-4557-A37F-753E51100402@ajf.me>
Date: Thu, 12 Feb 2015 18:54:27 +0400
Message-ID: <CALuY8tjyLOt7A5333qLO-4DCRtQVx4=wQAiHaEGAmB+N5TCrXQ@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: =?UTF-8?Q?Pavel_Kou=C5=99il?= <pajousek@gmail.com>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e015387d4eba42d050ee54ba6
Subject: Re: [PHP-DEV] [VOTE] Scalar Type Hints
From: inefedor@gmail.com (Nikita Nefedov)

--089e015387d4eba42d050ee54ba6
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi,

2015-02-12 18:31 GMT+04:00 Andrea Faulds <ajf@ajf.me>:

> Hi Pavel,
>
> > On 12 Feb 2015, at 13:48, Pavel Kou=C5=99il <pajousek@gmail.com> wrote:
> >
> > C# does have dynamic typing.
>
> No it doesn=E2=80=99t, it=E2=80=99s a statically-typed language. I don=E2=
=80=99t understand why
> you say it has dynamic typing - there is some limited dynamism in parts,
> but I don=E2=80=99t think it affects what we=E2=80=99re talking about. Dy=
namic typing and
> polymorphism aren=E2=80=99t the same.
>

 C# actually supports dynamic typing with a dynamic keyword [1]. But it
really doesn't mean that having method overloading in a dynamic language is
a good idea... C#, although it has a full ability to support dynamic
typing, is not usually used in this fashion. To understand why it's not the
best idea to use dynamic types with overloading you can just google "C#
dynamic type with overloading site:stackoverflow.com".

Another great deal in this question is performance, I think this subject
was brought up a plenty of times in this ML and it was pointed out a couple
of times that overloading even if doable at some point, would harm
performance of method calls, which are already one of the slowest (if not
the slowest) OPs in the engine. Languages like C# are usually able to
resolve method references at compile time (unless virtual methods are used,
even then it's only a matter of choosing right method from hierarchy not
from all the overloaded variants).

[1] https://msdn.microsoft.com/en-us/library/dd264736.aspx

--089e015387d4eba42d050ee54ba6--