Path: csiph.com!usenet.pasdenom.info!gegeweb.org!usenet-fr.net!nerim.net!novso.com!newsfeed.xs4all.nl!newsfeed4a.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <ian.g.kelly@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.007
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'static': 0.04; 'subject:Python': 0.06; 'c++,': 0.07; 'explicit': 0.07; 'annotations': 0.09; 'executable': 0.09; 'runtime': 0.09; 'typed': 0.09; 'python': 0.11; 'def': 0.12; 'jan': 0.12; 'missed': 0.12; 'language.': 0.14; 'correctness': 0.16; 'editor,': 0.16; 'haskell,': 0.16; 'interpreter,': 0.16; 'languages)': 0.16; 'says...': 0.16; 'java,': 0.16; 'wrote:': 0.18; 'code.': 0.18; 'wed,': 0.18; 'example': 0.22; 'proposed': 0.22; 'certainly': 0.24; 'skip': 0.24; 'header:In-Reply-To:1': 0.27; 'function': 0.29; 'am,': 0.29; 'strongly': 0.30; 'message-id:@mail.gmail.com': 0.30; 'code': 0.31; 'implicit': 0.31; 'post.': 0.31; 'class': 0.32; 'languages': 0.32; 'text': 0.33; '(e.g.': 0.33; 'reader': 0.33; 'except': 0.35; '(2)': 0.35; 'received:google.com': 0.35; 'should': 0.36; 'list': 0.37; 'checks': 0.38; 'to:addr:python- list': 0.38; 'little': 0.38; 'does': 0.39; 'to:addr:python.org': 0.39; 'how': 0.40; 'most': 0.60; 'new': 0.61; 'simply': 0.61; 'you.': 0.62; 'information': 0.63; 'different': 0.65; 'answer.': 0.68; 'realized': 0.68; 'subject:! ': 0.74; 'analysis': 0.75; 'article': 0.77; '2015': 0.84; 'dozens': 0.84; 'scala': 0.84; 'true!': 0.84; 'sorry.': 0.91; 'thing,': 0.91
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=HYyAOnCLoBBFzT6cbu8vvpx9DXiufN1uLI1uEIwADrk=; b=WVUpkS8aiQdbIVg5DBRndqP/u3zL1TBCWJxRHGQ0YpIuaH8aoHG7Sr8nKMzgxAdwjK JC/rkCEmE/JlzyTs4Z53jvJqJcmpt9SH5wptbwbzddmMT/6Uvq39/R+qi8a6aAZae3gS Ggbw++J7+lOI6FTKOoRYCUwCrmlGnKm+/eq8e7LHHtnVllpFytfGcFbBU/CAv2FKJcWu /jcLvPyyizwrmy7Yk0TAwxkvKV3t4LgqDk0XHIsEW6yQ76UF13LM+v6Q7mstygvmN7gu gS7V7GpEiSLMqBzKWNqm9lTnbNBNxbmGV8s15AaksxK5P/rheCsKJDvxbpRJh986hAsU gsjQ==
X-Received: by 10.66.120.109 with SMTP id lb13mr7925663pab.66.1422466469873; Wed, 28 Jan 2015 09:34:29 -0800 (PST)
MIME-Version: 1.0
In-Reply-To: <MPG.2f3318cb4d02fd059896b2@nntp.aioe.org>
References: <54c07d04$0$13012$c3e8da3$5496439d@news.astraweb.com> <1939680766443642112.878725sturla.molden-gmail.com@news.gmane.org> <CANc-5Uy3as3J=_h7oJiG4xY9kwSzchmxt=6bKZoEQhc4HHvePA@mail.gmail.com> <mailman.17982.1421951313.18130.python-list@python.org> <6eb91c4b-92ff-44a8-b5a9-6ef04c71f4cb@googlegroups.com> <MPG.2f2b9739d70d7220989688@nntp.aioe.org> <35a40ec6-3763-448b-9ea4-4a233a04979b@googlegroups.com> <54c1ccc8$0$13005$c3e8da3$5496439d@news.astraweb.com> <mailman.18150.1422284487.18130.python-list@python.org> <54c6d7c2$0$12992$c3e8da3$5496439d@news.astraweb.com> <mailman.18178.1422380228.18130.python-list@python.org> <MPG.2f31f0482d3837cb98969f@nntp.aioe.org> <54c83ab4$0$12982$c3e8da3$5496439d@news.astraweb.com> <MPG.2f3318cb4d02fd059896b2@nntp.aioe.org>
From: Ian Kelly <ian.g.kelly@gmail.com>
Date: Wed, 28 Jan 2015 10:33:49 -0700
Subject: Re: Python is DOOMED! Again!
To: Python <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.18224.1422466472.18130.python-list@python.org>
Lines: 41
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1422466472 news.xs4all.nl 2975 [2001:888:2000:d::a6]:44205
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:84768

On Wed, Jan 28, 2015 at 8:04 AM, Mario Figueiredo <marfig@gmail.com> wrote:
> In article <54c83ab4$0$12982$c3e8da3$5496439d@news.astraweb.com>,
> steve+comp.lang.python@pearwood.info says...
>>
>> Mario Figueiredo wrote:
>>
>> > Static analysis cannot and should not clutter executable code.
>>
>> (1) It isn't clutter. The human reader uses that information as well as the
>> compiler, interpreter, type-checker, IDE, text editor, correctness tester,
>> etc.
>>
>> (2) Algol, Ada, Boo, C, C#, C++, Cobol, Cobra, D, F#, Fantom, Fortran, Go,
>> Haskell, Java, Julia, Kotlin, Oberon, Pascal, Rust, Scala and dozens
>> (hundreds?) of other languages disagree with you.
>>
>
> Sorry. Somehow I missed this post. Only realized now from the Skip
> answer.
>
> This is simply not true!
>
> For most of the strongly typed languages (e.g. static typed languages)

Python is a strongly typed language. It checks types at runtime and
does little implicit type conversion. Strong != static.

> in that list -- C, C++, C# and Scala, the ones I know best from that
> list -- require little to no annotations in the code (and certainly no
> new explicit function or class based syntax) in order for static
> analysers to perform their thing, except perhaps on the most exotic
> static analysers.

The languages you cite don't require extra type annotations because
they already have the types in the function signatures. Here's an
example function signature in Scala:

    def addInt( a:Int, b:Int ) : Int

How is that significantly different from a Python function that uses
the proposed annotations?