Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102159
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain ohgaki.net designates 180.42.98.130 as permitted sender)
MIME-Version: 1.0
References: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at>
In-Reply-To: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at>
Date: Tue, 5 Jun 2018 16:28:43 +0900
Message-ID: <CAGa2bXZB5h1peVij2bBPkze8Dz57x9UcfeeOm8n0uR7RqERKEA@mail.gmail.com>
To: r.gottesheim@loot.at
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000001f3cb0056de002b3"
Subject: Re: [PHP-DEV] Better types without runtime checking
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--0000000000001f3cb0056de002b3
Content-Type: text/plain; charset="UTF-8"

On Tue, Jun 5, 2018 at 4:23 PM Rudolph Gottesheim <r.gottesheim@loot.at>
wrote:

> There's always a lot of talk about types in the PHP community.
> Specifically, many developers want property types, generics, function
> signature types, union and intersection types, and more. Those talks
> (and RFCs) always end with the same result: "We can't do it because
> performance issues."
>
> Has there ever been a discussion about adding some of those features
> syntactically, but ignoring them during runtime? At least until someone
> finds a performant way to check them at runtime. That way we could have
> advanced type checking in our editors at least.
>
> The idea will sound familiar to TypeScript users. It works great for
> that language.
>
> I'm excited to hear your opinions.
>

DbC style has no performance issue at all. In addition, you can perform
much better validation than simple type checks.

function f($username) {
  assert(is_string($username) && preg_match('\\A[a-z]\\z', $username);
  ....
}

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--0000000000001f3cb0056de002b3--