Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92358 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 12131 invoked from network); 16 Apr 2016 01:02:20 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 16 Apr 2016 01:02:20 -0000 Authentication-Results: pb1.pair.com smtp.mail=cornelius.howl@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=cornelius.howl@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.218.50 as permitted sender) X-PHP-List-Original-Sender: cornelius.howl@gmail.com X-Host-Fingerprint: 209.85.218.50 mail-oi0-f50.google.com Received: from [209.85.218.50] ([209.85.218.50:33939] helo=mail-oi0-f50.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id BA/AD-29891-B1F81175 for ; Fri, 15 Apr 2016 21:02:20 -0400 Received: by mail-oi0-f50.google.com with SMTP id s79so140077927oie.1 for ; Fri, 15 Apr 2016 18:02:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=LhAh41q2+ACpE5hAMGhmVHf0D7HpSLM2/7gWuKltvjo=; b=gMSFHe0tH+gSa230e6hZaj7uDvANgjJgD2nEhFMvuFJtNrXXC90cGKat2rGTJFaytj GPv3lEq12PF9KV75ebniN9D7P56O5Y4vFqkF6Z7SNV3XVZS7tVDMjxzrnjYwjcgGjRgE jhUUMpr2BoxH4XfDhcZLj4qOxpAvDo/FrKi6YcVqiss9st0A4OnKGgqUga5vtsk06aTM FBPqzqcOdX7F+RpDUbd9pirtt9L1zSxl7zxUQvReYRG4qTP6HO8SEWKI39mRrNbWxpoI 5OVOQ7fV3C1chGRe0xtZ8d1DXIGnkabHBjlKvpEd1Uo+x5uJdUj1ZC3KDv11Uturyf/o ihEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=LhAh41q2+ACpE5hAMGhmVHf0D7HpSLM2/7gWuKltvjo=; b=NLYDmCl2lzTXR+LqqaWHAjovH5I2ubZyEZg4uEiwO3v7gMGTB5TW+3sh0+9vXoMqcK o6a8CID7iA+VZZ47wnkijcYuQspnFFxb1nynbWHsYMBEb4HOf0bfn2KWmW4CH1p05A4R 8mqHodKOsvQ4hab72G5raktp2wPqgaEJXBZD/mSVybXqXQvnkZe02J6IT5RR0sZn5RW+ y6vSpnaZk3Pu0lELvlNAqpEF+mo0iGg5PXXUy+cmWNoo7KGfU1YI+Dsfj1iUOuwepyz8 6VCh3MUpUkDGTm7RiZST8TsPHvS6dPwAoLfWbekX9Jp7atsuRlb2lmvfUOIVYLwe1Hvb BDwA== X-Gm-Message-State: AOPr4FWV0J5BodJQk8Ls6XoAURGnpznNyaSTcwoCjFacFfDR4O16WMHXeqTgxMJlMIzGGwOYRiBHrIkE+SCGFg== MIME-Version: 1.0 X-Received: by 10.157.5.106 with SMTP id 97mr11136124otw.127.1460768534255; Fri, 15 Apr 2016 18:02:14 -0700 (PDT) Received: by 10.157.7.194 with HTTP; Fri, 15 Apr 2016 18:02:14 -0700 (PDT) In-Reply-To: <57112F31.8070209@garfieldtech.com> References: <570E99AC.3090804@fleshgrinder.com> <570EA5EB.8090501@fleshgrinder.com> <570EAB0D.6080706@gmail.com> <570EB67E.8010908@garfieldtech.com> <5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com> <6F.C3.12455.94C5F075@pb1.pair.com> <20160414094440.GF19347@phcomp.co.uk> <570FD94F.90703@fleshgrinder.com> <570FE8A9.4020809@gmail.com> <20.53.29891.17401175@pb1.pair.com> <57110BCD.5030009@garfieldtech.com> <571124C2.9040606@gmx.de> <57112F31.8070209@garfieldtech.com> Date: Sat, 16 Apr 2016 09:02:14 +0800 Message-ID: To: Larry Garfield Cc: "internals@lists.php.net" Content-Type: multipart/alternative; boundary=94eb2c0479a495620205308fad09 Subject: Re: [PHP-DEV] Re: Improving PHP's type system From: cornelius.howl@gmail.com (Lin Yo-An) --94eb2c0479a495620205308fad09 Content-Type: text/plain; charset=UTF-8 I pretty much like the Haskell type system, it let you define types via the syntax below: data Tree a = Branch (Tree a) (Tree a) | Leaf a But the type inference in Haskell can be resolved in the compile-time. We can only verify the variable type for each function call in PHP. --94eb2c0479a495620205308fad09--