Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:84756 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 86055 invoked from network); 14 Mar 2015 02:50:51 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 14 Mar 2015 02:50:51 -0000 Authentication-Results: pb1.pair.com smtp.mail=rasmus@lerdorf.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=rasmus@lerdorf.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain lerdorf.com designates 209.85.216.181 as permitted sender) X-PHP-List-Original-Sender: rasmus@lerdorf.com X-Host-Fingerprint: 209.85.216.181 mail-qc0-f181.google.com Received: from [209.85.216.181] ([209.85.216.181:35295] helo=mail-qc0-f181.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 42/CE-34457-402A3055 for ; Fri, 13 Mar 2015 21:50:45 -0500 Received: by qcbkw5 with SMTP id kw5so4318797qcb.2 for ; Fri, 13 Mar 2015 19:50:41 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:content-type:mime-version:subject:from :in-reply-to:date:cc:content-transfer-encoding:message-id:references :to; bh=hbh70sP068Ja37aMgA2UNwHpwC5ZQILeYK0O1Nr1q/0=; b=I1wNyjXNqgq2MkjtOOO3jdeC6/LoInERnojhDe5sLFwkztxCCGgkivdy92YqE1PHY/ XuZC1aYHs/7shvCimHrh4rlLk/apXPJurYWTSo7May3iWtz0/wOgEgWwIWtFHWnPNG2z FNRqts/+7oYZzKQMPRnNEQnV8fcAG854HhdU61mugov9lZMhbGb5Jl2IM4+h65hsIW91 mvjawsn01ws86TON1IzBHgYZgZoeIoXtxqtMhp56TyWOIxSndAwFN8WWEuUSxuT+CbrK 8etH/x+bSvD/M2eiPWPMphih0ixNdfZpZEl3nuO0QQlDEoKfdGLmguXqozKCPPGtfI/F qJwQ== X-Gm-Message-State: ALoCoQnvc4u5IesuIFhuXRnrSQCZxgaj28UMJpUhx8m20+CI6Jz5Q1Y3LZzVemFGohZAKPcdDjn5 X-Received: by 10.140.101.227 with SMTP id u90mr61190497qge.48.1426301441569; Fri, 13 Mar 2015 19:50:41 -0700 (PDT) Received: from [192.168.1.2] (203.sub-70-194-73.myvzw.com. [70.194.73.203]) by mx.google.com with ESMTPSA id 201sm2710036qhr.24.2015.03.13.19.50.39 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 13 Mar 2015 19:50:40 -0700 (PDT) Content-Type: multipart/signed; boundary=Apple-Mail-49212ADC-E5C8-4982-941C-893DC457D4C3; protocol="application/pkcs7-signature"; micalg=sha1 Mime-Version: 1.0 (1.0) X-Mailer: iPad Mail (12B466) In-Reply-To: Date: Sat, 14 Mar 2015 13:50:32 +1100 Cc: Zeev Suraski , Dmitry Stogov , "francois@php.net" , PHP internals Content-Transfer-Encoding: 7bit Message-ID: <46F3AD65-6689-4E75-836C-968608F7D30D@lerdorf.com> References: To: Levi Morrison Subject: Re: [PHP-DEV] [VOTE][RFC] Coercive Scalar Type Hints From: rasmus@lerdorf.com (Rasmus Lerdorf) --Apple-Mail-49212ADC-E5C8-4982-941C-893DC457D4C3 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable On Mar 14, 2015, at 13:37, Levi Morrison wrote: > It seems that `float -> bool` is always disallowed. If I am correct > `int -> bool` is permitted for all values (not just 0 and 1), which > means that floats which can be converted to integers without dataloss > should also be permitted to be booleans. If a specific float can be > converted to an int, and all ints can be converted to booleans, then > the transitive property should hold for that float to a bool. The problem there is what does "without dataloss" mean? At which precision d= o you consider there to be no dataloss?=20 -Rasmus= --Apple-Mail-49212ADC-E5C8-4982-941C-893DC457D4C3 Content-Type: application/pkcs7-signature; name=smime.p7s Content-Disposition: attachment; filename=smime.p7s Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIGWTCCBlUw ggU9oAMCAQICAlhvMA0GCSqGSIb3DQEBCwUAMIGMMQswCQYDVQQGEwJJTDEWMBQGA1UEChMNU3Rh cnRDb20gTHRkLjErMCkGA1UECxMiU2VjdXJlIERpZ2l0YWwgQ2VydGlmaWNhdGUgU2lnbmluZzE4 MDYGA1UEAxMvU3RhcnRDb20gQ2xhc3MgMiBQcmltYXJ5IEludGVybWVkaWF0ZSBDbGllbnQgQ0Ew HhcNMTQxMTE1MTIwODQwWhcNMTYxMTE1MDIwMDExWjByMQswCQYDVQQGEwJVUzETMBEGA1UECBMK Q2FsaWZvcm5pYTESMBAGA1UEBxMJU3Vubnl2YWxlMRcwFQYDVQQDEw5SYXNtdXMgTGVyZG9yZjEh MB8GCSqGSIb3DQEJARYScmFzbXVzQGxlcmRvcmYuY29tMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8A MIIBCgKCAQEAnfzDSNz3/ljL2v7NT2zqMzN6SXf8Qzb7nvutQXWrYlhgVe3IrnkhcwCswDTCLMQz UmzT3YmzaQ+LwuoWYdCwuue4ZWhqYvVSI0b93togBNXt/0Pk4HC1PM/WlxdmY2V5jKT90k/1vh4X DF8P8hEflN32Cfum9cUT21roqdhQyOdvZcVSpd+mFFVNwJ963GbEL1UiH1CD1fybS+mnVNAZ5wAV SpJs1y+ZS+Nw8GWhP/KNZfbXsvCcg5K+9aM/a6FCLMG3aOcbUUfgkshq24WGOa6hmJBmJezCEPYs PAjFGJDlm/3itm5qg90brivL0GBSfp5K0h3D4AYc8xE2E0UAwwIDAQABo4IC2DCCAtQwCQYDVR0T BAIwADALBgNVHQ8EBAMCBLAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwMEMB0GA1UdDgQW BBRdGtlis2LEefYTwONK6fgMt+ZNZTAfBgNVHSMEGDAWgBSuVYNv7DHKufcd+q9rMfPIHeOsuzAd BgNVHREEFjAUgRJyYXNtdXNAbGVyZG9yZi5jb20wggFMBgNVHSAEggFDMIIBPzCCATsGCysGAQQB gbU3AQIDMIIBKjAuBggrBgEFBQcCARYiaHR0cDovL3d3dy5zdGFydHNzbC5jb20vcG9saWN5LnBk ZjCB9wYIKwYBBQUHAgIwgeowJxYgU3RhcnRDb20gQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkwAwIB ARqBvlRoaXMgY2VydGlmaWNhdGUgd2FzIGlzc3VlZCBhY2NvcmRpbmcgdG8gdGhlIENsYXNzIDIg VmFsaWRhdGlvbiByZXF1aXJlbWVudHMgb2YgdGhlIFN0YXJ0Q29tIENBIHBvbGljeSwgcmVsaWFu Y2Ugb25seSBmb3IgdGhlIGludGVuZGVkIHB1cnBvc2UgaW4gY29tcGxpYW5jZSBvZiB0aGUgcmVs eWluZyBwYXJ0eSBvYmxpZ2F0aW9ucy4wNgYDVR0fBC8wLTAroCmgJ4YlaHR0cDovL2NybC5zdGFy dHNzbC5jb20vY3J0dTItY3JsLmNybDCBjgYIKwYBBQUHAQEEgYEwfzA5BggrBgEFBQcwAYYtaHR0 cDovL29jc3Auc3RhcnRzc2wuY29tL3N1Yi9jbGFzczIvY2xpZW50L2NhMEIGCCsGAQUFBzAChjZo dHRwOi8vYWlhLnN0YXJ0c3NsLmNvbS9jZXJ0cy9zdWIuY2xhc3MyLmNsaWVudC5jYS5jcnQwIwYD VR0SBBwwGoYYaHR0cDovL3d3dy5zdGFydHNzbC5jb20vMA0GCSqGSIb3DQEBCwUAA4IBAQDGlvK1 mwlJw04/3SXtCTScuJwNxhr6U6UeFjtzpArczqx9IeXjHwg8TG0wh45nbLb/XiemCmkkM0Smggxg xIyJsXCe6PVB7CsBVLT7i0EieCyxvEQO0HcHtLWknnAcwlgrzKopQxkRH+tMhZ0GaCpBuIQXYEGJ 25dQQAY76iT/1k0ckui2BAPV0HP3bcYnAQ3/0js86d5qrzWJWBBHcc+yj7CBBkmX2YoEg6/4o52Z nJPXDYnJAvTO3hVXJwzF5GkEskf4OK7oD7T9bZOLFt8B5g25UEGmMbS9cCq73DzdTKRdU69FID4J qkPf0YCIk0pJDDWRj/MxiPkhY6PZoao+MYIDbDCCA2gCAQEwgZMwgYwxCzAJBgNVBAYTAklMMRYw FAYDVQQKEw1TdGFydENvbSBMdGQuMSswKQYDVQQLEyJTZWN1cmUgRGlnaXRhbCBDZXJ0aWZpY2F0 ZSBTaWduaW5nMTgwNgYDVQQDEy9TdGFydENvbSBDbGFzcyAyIFByaW1hcnkgSW50ZXJtZWRpYXRl IENsaWVudCBDQQICWG8wCQYFKw4DAhoFAKCCAa0wGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAc BgkqhkiG9w0BCQUxDxcNMTUwMzE0MDI1MDMyWjAjBgkqhkiG9w0BCQQxFgQUAzOx4M/orQUnXI6p 7yxKyF5k+sowgaQGCSsGAQQBgjcQBDGBljCBkzCBjDELMAkGA1UEBhMCSUwxFjAUBgNVBAoTDVN0 YXJ0Q29tIEx0ZC4xKzApBgNVBAsTIlNlY3VyZSBEaWdpdGFsIENlcnRpZmljYXRlIFNpZ25pbmcx ODA2BgNVBAMTL1N0YXJ0Q29tIENsYXNzIDIgUHJpbWFyeSBJbnRlcm1lZGlhdGUgQ2xpZW50IENB AgJYbzCBpgYLKoZIhvcNAQkQAgsxgZaggZMwgYwxCzAJBgNVBAYTAklMMRYwFAYDVQQKEw1TdGFy dENvbSBMdGQuMSswKQYDVQQLEyJTZWN1cmUgRGlnaXRhbCBDZXJ0aWZpY2F0ZSBTaWduaW5nMTgw NgYDVQQDEy9TdGFydENvbSBDbGFzcyAyIFByaW1hcnkgSW50ZXJtZWRpYXRlIENsaWVudCBDQQIC WG8wDQYJKoZIhvcNAQEBBQAEggEAP5T0bpJz841BZJ3OrImnlzfaNEWyRogVDM+HbduH6gFuOAC4 K6bPf1xhr7OMo3Y0PX4sksfFngreubW6l61QnslZp1Uw/FHZ+PWMu0YXuvfajB9DP5ZKpe2zieRm 8dUPSQ8JkM3XtH/6PjsIxbbcrYALGaD7trdvA1fFxKIMnJ7mP/20iq0eSG8ZZM/7YvRE6jrlQD5Z HeOPvJlQqZStUzeIw16aZLMIrn7QL+Vi97T2uLJhlukedWkNa+WaNNBhNnZF0HfVo8aqOHKivxIF 2xpDdcDF39Gb6SJ9GyB0PWhOsbz8v2vD1EZyoir/IUYw7PYE3nYTAY3vxU+oHCqzhQAAAAAAAA== --Apple-Mail-49212ADC-E5C8-4982-941C-893DC457D4C3--