Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92315
Return-Path: <smalyshev@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 76608 invoked from network); 14 Apr 2016 19:59:28 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 14 Apr 2016 19:59:28 -0000
Authentication-Results: pb1.pair.com smtp.mail=smalyshev@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=smalyshev@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.46 as permitted sender)
X-PHP-List-Original-Sender: smalyshev@gmail.com
X-Host-Fingerprint: 209.85.220.46 mail-pa0-f46.google.com  
Received: from [209.85.220.46] ([209.85.220.46:35190] helo=mail-pa0-f46.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 1E/12-64966-F96FF075 for <internals@lists.php.net>; Thu, 14 Apr 2016 15:59:27 -0400
Received: by mail-pa0-f46.google.com with SMTP id fs9so28981123pac.2
        for <internals@lists.php.net>; Thu, 14 Apr 2016 12:59:27 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=subject:to:references:from:message-id:date:user-agent:mime-version
         :in-reply-to:content-transfer-encoding;
        bh=puAu+Y3xGvE3Vm/UUCTtnhHvaMt0k5+EUCkDVq4t8NI=;
        b=CuJREnZT/aggiNqx7USfCnEOMF5oj90LhIPJAW7E3n/4rpvWllQbfuMUg0QG48c8rw
         KxVrwhP6tr8T0jWO7Q5pZp2WfdETfJwPZzO27maaBGGftC/4JoTfYVcpYI8izEDZjJ5l
         vY6k/i1BQKawSiRoG3QL6hR3NwcnAOCVadxmOIns3ngdQKJ+UZaWfIOi430+8HrhuGGV
         6UwrF0HMe/vGoink4cKhCz2/uXP3/rEazuKjVUAO99xSrx74TgDhkT86lxVNHMeaOB70
         2TlrDvK7aiTcttltJJsEcltKzWRTWNKYv7YEcLP/wp0g5ABgNrv/rxODNoDhx7rcs+57
         f0hQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:subject:to:references:from:message-id:date
         :user-agent:mime-version:in-reply-to:content-transfer-encoding;
        bh=puAu+Y3xGvE3Vm/UUCTtnhHvaMt0k5+EUCkDVq4t8NI=;
        b=Yfrne7QpL9Fx4tfioZI3iNGrd2Mf149RbaILOnwgyh2ttWuKFFjTWr0C9tEBdb3Oi8
         LmfxmbaN+JrTrRORiCLuvJHpGRUuQZQQgx5i5/KzqSYHqxZGk+BHNMnyJQrqQ7gmWvDv
         WSgXvzG4Y9t6jE/UUmsQmsssrflBjfqLNpLksCVoNG9MrqCLEfc5M4IliARxIbxXrHl8
         m/S5Bw4xw6qiNX+wEFk0q7rMGig1X6IhcXSTilJqIp6LVYNC5k6S2BmU1AHr+X7UNbMl
         2OkmAvOtCOjjSjF8m1t4IdHczbAq4P4gA7p2//qiHtHJY69/zz0nIczZ88ktpIJi2KFm
         xSWA==
X-Gm-Message-State: AOPr4FWv1H99EL+9iwLBPSTg5fA9nT2ZXWJx7ORhqL9r9NlnISYLxSbimtxFdGaMIEx2PA==
X-Received: by 10.66.249.228 with SMTP id yx4mr23853861pac.29.1460663964911;
        Thu, 14 Apr 2016 12:59:24 -0700 (PDT)
Received: from stas-air.corp.wikimedia.org (tan1.corp.wikimedia.org. [198.73.209.1])
        by smtp.gmail.com with ESMTPSA id x64sm59727330pfa.72.2016.04.14.12.59.23
        for <internals@lists.php.net>
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 14 Apr 2016 12:59:23 -0700 (PDT)
To: internals@lists.php.net
References: <CAFMT4Nq+VdfYS+eKbdbmPr92-X1QYCE2eOtPGo6Zu1qgAOGkhA@mail.gmail.com>
 <CAFMT4Nq=QPN9fOMtKa7GDDkf-AECAXjN9WRtn84nUjtKK-zD7w@mail.gmail.com>
 <570E99AC.3090804@fleshgrinder.com>
 <CAFMT4Nq7JV=iv=_AKjez+B8JxZ+rucD4LkEJgHuUg15o7r2hMg@mail.gmail.com>
 <570EA5EB.8090501@fleshgrinder.com> <570EAB0D.6080706@gmail.com>
 <570EB67E.8010908@garfieldtech.com>
 <5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com>
 <6F.C3.12455.94C5F075@pb1.pair.com> <20160414094440.GF19347@phcomp.co.uk>
 <CAKSD0w6Gd7uN2L=d3VfnK-Mj+cwjpcGtCpjfD6iq+VMmJVxkhA@mail.gmail.com>
 <570FD94F.90703@fleshgrinder.com> <570FE8A9.4020809@gmail.com>
 <570FEE98.1030401@fleshgrinder.com> <570FEF32.2000107@fleshgrinder.com>
Message-ID: <570FF69F.6010004@gmail.com>
Date: Thu, 14 Apr 2016 12:59:27 -0700
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:38.0)
 Gecko/20100101 Thunderbird/38.7.1
MIME-Version: 1.0
In-Reply-To: <570FEF32.2000107@fleshgrinder.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Re: Improving PHP's type system
From: smalyshev@gmail.com (Stanislav Malyshev)

Hi!

>> Reduce assertions*, enhance self-documentation, making code more robust,
>> perform checks in the VM and not in userland, ...

You don't reduce assertions, you just make them more cryptic and change
error message slightly.

> Oh oh oh, I forgot the very important unions *int|string* and
> *float|string* for overflows as one can encounter them from time to
> time; even in native code.

Not sure what are you referring here to, but I suspect you are trying to
reimplement weak typing in some partial inconsistent and strange way,
while pretending it's strong typing.

-- 
Stas Malyshev
smalyshev@gmail.com