Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:58364 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 10573 invoked from network); 29 Feb 2012 22:41:40 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 29 Feb 2012 22:41:40 -0000 Authentication-Results: pb1.pair.com header.from=simpleshot@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=simpleshot@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.170 as permitted sender) X-PHP-List-Original-Sender: simpleshot@gmail.com X-Host-Fingerprint: 209.85.220.170 mail-vx0-f170.google.com Received: from [209.85.220.170] ([209.85.220.170:53640] helo=mail-vx0-f170.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 83/4D-46815-2A9AE4F4 for ; Wed, 29 Feb 2012 17:41:38 -0500 Received: by vcbfo14 with SMTP id fo14so3271086vcb.29 for ; Wed, 29 Feb 2012 14:41:36 -0800 (PST) Received-SPF: pass (google.com: domain of simpleshot@gmail.com designates 10.52.90.164 as permitted sender) client-ip=10.52.90.164; Authentication-Results: mr.google.com; spf=pass (google.com: domain of simpleshot@gmail.com designates 10.52.90.164 as permitted sender) smtp.mail=simpleshot@gmail.com; dkim=pass header.i=simpleshot@gmail.com Received: from mr.google.com ([10.52.90.164]) by 10.52.90.164 with SMTP id bx4mr3271745vdb.128.1330555296132 (num_hops = 1); Wed, 29 Feb 2012 14:41:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=JrcpOkM7ogVnZu/2D0PICxFANuSE2akD3MLW8bpWijg=; b=g4hTN52+PMbS3H1/3L1YvavEk710U5s8KLWx+rCxNRyvA2QmP7b8Ny2ugzib7cTEqg OJBz2sqWlWOT2Vto3WVb+GiIKwldKCsfpk5AF8STBn45EmHGw1gAkKbCq+jK8yqA3W+w gdMaO/Dri5zIPTI/o/+Bb8k7HevdoY8TbPKM4= MIME-Version: 1.0 Received: by 10.52.90.164 with SMTP id bx4mr2792956vdb.128.1330555295971; Wed, 29 Feb 2012 14:41:35 -0800 (PST) Received: by 10.220.49.65 with HTTP; Wed, 29 Feb 2012 14:41:35 -0800 (PST) In-Reply-To: <887FE7CFF6F8DE4BB3A9535F53AFD06AC3152F5D@il-ex2.zend.net> References: <1330357150.2159.30.camel@guybrush> <693e15008681dfe7372eaea66214f8a8.squirrel@www.l-i-e.com> <887FE7CFF6F8DE4BB3A9535F53AFD06AC3152C6C@il-ex2.zend.net> <887FE7CFF6F8DE4BB3A9535F53AFD06AC3152F5D@il-ex2.zend.net> Date: Wed, 29 Feb 2012 17:41:35 -0500 Message-ID: To: Zeev Suraski Cc: "internals@lists.php.net" Content-Type: multipart/alternative; boundary=20cf307cfc36c53aee04ba220bb7 Subject: Re: [PHP-DEV] Scalar type hinting From: simpleshot@gmail.com (Adam Richardson) --20cf307cfc36c53aee04ba220bb7 Content-Type: text/plain; charset=ISO-8859-1 On Wed, Feb 29, 2012 at 4:49 PM, Zeev Suraski wrote: > Kris, > > If we've agreed that strict typing is bad, why is it even showing on the > discussion here? Calling it 'firm' or 'strong' doesn't make a difference. > If it errors out or throws an exception (which BTW is out of the question > for a language feature), it's strict typing, regardless of naming. > Can someone point to what they perceive to be an appropriate definition of strict typing is (online or in a CS book?) It's one thing to say strict typing is bad, but I'm not confident that everyone is talking about the same thing. My books on programming language design don't specifically speak to "strict" typing (e.g., Language Implementation Patterns, Programming Language Pragmatics, etc.) I've found some Actionscript-specific writings and a few discussions involving Ruby (although my books on Ruby don't speak of "strict" typing), and discussions on variable levels of type checking: http://en.wikipedia.org/wiki/Type_system#Variable_levels_of_type_checking What is the operationalized definition that the core developers want utilized? Thank you very much, Adam -- Nephtali: A simple, flexible, fast, and security-focused PHP framework http://nephtaliproject.com --20cf307cfc36c53aee04ba220bb7--