Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:34409 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 4979 invoked by uid 1010); 4 Jan 2008 16:41:17 -0000 Delivered-To: ezmlm-scan-internals@lists.php.net Delivered-To: ezmlm-internals@lists.php.net Received: (qmail 4964 invoked from network); 4 Jan 2008 16:41:17 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 4 Jan 2008 16:41:17 -0000 Authentication-Results: pb1.pair.com smtp.mail=stefan.esser@sektioneins.de; spf=permerror; sender-id=unknown Authentication-Results: pb1.pair.com header.from=stefan.esser@sektioneins.de; sender-id=unknown Received-SPF: error (pb1.pair.com: domain sektioneins.de from 81.169.159.221 cause and error) X-PHP-List-Original-Sender: stefan.esser@sektioneins.de X-Host-Fingerprint: 81.169.159.221 hardened-php.net Linux 2.4/2.6 Received: from [81.169.159.221] ([81.169.159.221:49081] helo=mail.hardened-php.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 68/96-63281-AA16E774 for ; Fri, 04 Jan 2008 11:41:16 -0500 Received: from [127.0.0.1] (p508765B7.dip.t-dialin.net [80.135.101.183]) by mail.hardened-php.net (Postfix) with ESMTP id 514001200B1; Fri, 4 Jan 2008 15:49:44 +0100 (CET) Message-ID: <477E619C.2050107@sektioneins.de> Date: Fri, 04 Jan 2008 17:41:00 +0100 Organization: SektionEins User-Agent: Thunderbird 2.0.0.9 (Windows/20071031) MIME-Version: 1.0 To: Gregory Beaver Cc: Alain Williams , internals Mailing List References: <477DB7BF.10201@chiaraquartet.net> <20080104105558.GC7861@mint.phcomp.co.uk> <477E5649.2080104@chiaraquartet.net> In-Reply-To: <477E5649.2080104@chiaraquartet.net> X-Enigmail-Version: 0.95.5 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] type hinting From: stefan.esser@sektioneins.de (Stefan Esser) Good Morning everyone, one should not forget that type hinting has some clear advantages the anti type hinting advocates always try to forget... * the code gets smaller because not so many typechecks in every function * because the code gets smaller it is faster executed (userspace typecheck is slower than "engine-space") * without all these type checks the code gets easier to read * with type hints byte code optimizer can optimize the code far better -> faster execution * with type hints static analysing tools that check for bugs/vulnerabilities can perform far better (intra procedural analysis gives more information) Stefan Esser