Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:71195 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 55694 invoked from network); 16 Jan 2014 20:43:38 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 16 Jan 2014 20:43:38 -0000 Authentication-Results: pb1.pair.com smtp.mail=php@golemon.com; spf=softfail; sender-id=softfail Authentication-Results: pb1.pair.com header.from=php@golemon.com; sender-id=softfail Received-SPF: softfail (pb1.pair.com: domain golemon.com does not designate 209.85.192.171 as permitted sender) X-PHP-List-Original-Sender: php@golemon.com X-Host-Fingerprint: 209.85.192.171 mail-pd0-f171.google.com Received: from [209.85.192.171] ([209.85.192.171:38993] helo=mail-pd0-f171.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 35/C5-21406-97448D25 for ; Thu, 16 Jan 2014 15:43:38 -0500 Received: by mail-pd0-f171.google.com with SMTP id g10so2319610pdj.16 for ; Thu, 16 Jan 2014 12:43:34 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=GZCuY1C/ikYmzD7G8B0rDaXjhufVy21/FVHXVGPMNdQ=; b=fN0vqwmbDtlI3pRE8boarzSl8ib0i7X6+QehgcnsEWJYYC3XAXQOefcVyR/DPQkhcd GIviRff/YgablwdODpymxmw3a6/UTZ1lTDqAVHY+ymBfofs2Unm+12KrYUmmmGRYxJKv jBpYJL/y6zisB6x3EzHPyrpGP45fmK5jrwO3scBV3UMNb9K9epfTCp0EPfGJ81+6BquK SZ12pDlbHjKzdixZjaDx6uLvtVepGw2/TZeqiDs5BInz3NSFTztMhEJEv1//+QDtnb6B GA74b9nZzWDya6qLQyaJrpmroQL4VGh6RKeGlZazDQSGgRyPgjseMHENF2NNqb/UAl2O +k7g== X-Gm-Message-State: ALoCoQnyycDI9I5F4VRDR8p8dMJ3iCb/zAnhbKEXtXQC64oWsAjs5kv5l15xM2blRW5iztQj8iMc MIME-Version: 1.0 X-Received: by 10.68.196.195 with SMTP id io3mr12687526pbc.6.1389905014545; Thu, 16 Jan 2014 12:43:34 -0800 (PST) Sender: php@golemon.com Received: by 10.70.77.164 with HTTP; Thu, 16 Jan 2014 12:43:34 -0800 (PST) X-Originating-IP: [2001:470:1f09:2fa:22c9:d0ff:fe87:295b] In-Reply-To: References: <52D83F13.3000702@ajf.me> Date: Thu, 16 Jan 2014 12:43:34 -0800 X-Google-Sender-Auth: 0ZWlkT6MxlY1iMbL19uNhSNVnRg Message-ID: To: Andrey Andreev Cc: "internals@lists.php.net" Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [PHP-DEV] Introducing "Array Of" RFC From: pollita@php.net (Sara Golemon) One last comment in favor of the HHVM syntax: We're written (and will very soon be releasing, I promise) a static analysis tool which looks at your entire code base and determines types for every local variable in use and tells you (without having to run the program) where you have type issues. This means two things: 1) No need to do runtime checks (Which impact performance) 2) No need to get to 100% code-coverage to guarantee type safety. And the type-checker can run in the background re-evaluating the files as they're updated for instant notification. If PHP were to follow HHVM's syntax, we'd get the type-checker as a freebie. (If and when we took on return and scalar type hints as well) -Sara