Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:98911 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 52890 invoked from network); 29 Apr 2017 19:46:49 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 29 Apr 2017 19:46:49 -0000 Authentication-Results: pb1.pair.com smtp.mail=rowan.collins@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=rowan.collins@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.45 as permitted sender) X-PHP-List-Original-Sender: rowan.collins@gmail.com X-Host-Fingerprint: 74.125.82.45 mail-wm0-f45.google.com Received: from [74.125.82.45] ([74.125.82.45:35551] helo=mail-wm0-f45.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 6C/38-01540-7ADE4095 for ; Sat, 29 Apr 2017 15:46:49 -0400 Received: by mail-wm0-f45.google.com with SMTP id w64so65084206wma.0 for ; Sat, 29 Apr 2017 12:46:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:user-agent:in-reply-to:references:mime-version :content-transfer-encoding:subject:to:from:message-id; bh=jUD9Ee43fx183kCqfqmaFjBHLyJnaGh3tXnXDdroBFw=; b=S0bO9BNLdED/rVh0KA0R8yfGVd8Oi0nluue70VNvqUflv/uKNlxwd09z38+rdF+92S eELW9meOsh6QXBmXQI3TSg7XwYQuImOaTQUGXUilHhw9jHQ6Te8uwsN2foU7tLu8IhaM vsOTUjX/0H4xtis3zeSbtMJJXyoOn5wFDKv7dwH36vbkpTH1WPmvO5BoEUjUJfcfcITt p90YUB9c/8kiJX5jS6e1a+NzE1ctr0PZCNq57MpX7S9MrizI8lvoPA8X7clhv87TkRlw zRALEAcVZAYpx7h14FGJES16vwb2Djn871d27chCgDE2eWh41/EtU2VbcA7Z2oK8lqow NFrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:user-agent:in-reply-to:references :mime-version:content-transfer-encoding:subject:to:from:message-id; bh=jUD9Ee43fx183kCqfqmaFjBHLyJnaGh3tXnXDdroBFw=; b=Kh7BvD1CgI1+zGQnqv0fldk2+z/76jKORPOzjVFdH+y3jckaNUydEixt/FRKfPGfBt cQlxVp9rl0aOtAlztUJ07wQofErOosAmABrkkzLI9Iukl0jDUcRKvmWu5xiCPPymJ4Xj UNFvr3BlT1dOwNyuoPA+tXIQNFoxH1nf9kOgBRaLwRF0uwRxwaU1IAyN5CY6Phz7iwUt OJIU4l5uhT1fXNOoKSmR+z0PxUyov1M5KPzxRp/Z9g8FPs8shgj4gnaV5HUjmIMogQyU +tDciJeMPyRahH8pv6R72/LM/7peJxyBSxRA1HmFi0APm5+Pn13xlNWQD4vE+vGYY9gL 5txA== X-Gm-Message-State: AN3rC/6fBCmw2gjUwkofWP8XYzKgzd8NyJDMZDY1HiOTF2+41id1t3rf 8ATAnP5k1c0SGQ== X-Received: by 10.28.198.65 with SMTP id w62mr2255851wmf.80.1493495204693; Sat, 29 Apr 2017 12:46:44 -0700 (PDT) Received: from [10.61.139.48] (188.29.164.128.threembb.co.uk. [188.29.164.128]) by smtp.gmail.com with ESMTPSA id 4sm5406823wry.31.2017.04.29.12.46.42 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 29 Apr 2017 12:46:43 -0700 (PDT) Date: Sat, 29 Apr 2017 20:46:34 +0100 User-Agent: K-9 Mail for Android In-Reply-To: References: <398456D8-170A-4629-B6FF-D64F6DDB9C9A@gmail.com> <5B258485-B7EE-4DCD-B93F-B036E9B6D4CC@gmail.com> <8F7D0233-DB1A-4617-8E92-C1719D4D385D@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable To: Sara Golemon ,PHP internals Message-ID: Subject: Re: [PHP-DEV] [RFC] Enable strict_types checking for curl_setopt() From: rowan.collins@gmail.com (Rowan Collins) On 29 April 2017 17:25:45 BST, Sara Golemon wrote: >Your example of GMP can't be simply dismissed as "a special edge >case", it's precisely true that internals does not always follow the >same rules as userspace and often it breaks those rules for very good >reason=2E I think the adage applies here that you should first acknowledge rules bef= ore you break them=2E GMP *is* a special case; it is one of very few instan= ces, if not the only instance, of overloading arithmetic operators, and IIR= C that was the subject of a whole RFC=2E It was agreed that the use case ju= stifies the special behaviour=2E In this case, we should acknowledge that userland cannot (delta dirty back= trace hack) change behaviour based on strict types inside the body of the f= unction, and in most cases neither sold internal functions=2E We can then d= ecide if this use case merits breaking that rule or not=2E Regards, --=20 Rowan Collins [IMSoP]