Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!xlned.com!feeder5.xlned.com!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail Return-Path: X-Original-To: python-list@python.org Delivered-To: python-list@mail.python.org X-Spam-Status: OK 0.001 X-Spam-Evidence: '*H*': 1.00; '*S*': 0.00; 'static': 0.04; 'guido': 0.05; 'compiler': 0.07; 'subset': 0.09; 'cc:addr:python-list': 0.11; 'python': 0.11; 'language.': 0.14; 'aiming': 0.16; 'optional': 0.16; 'to:addr:pearwood.info': 0.16; "to:name:steven d'aprano": 0.16; 'wrote:': 0.18; 'code.': 0.18; 'do.': 0.18; 'typing': 0.19; 'seems': 0.21; 'machine': 0.22; 'comfortable': 0.22; 'cc:addr:python.org': 0.22; 'alternate': 0.24; 'certainly': 0.24; 'compilation': 0.24; 'new,': 0.24; 'cc:2**0': 0.24; 'cc:no real name:2**0': 0.24; '>': 0.26; 'header:In-Reply-To:1': 0.27; 'message-id:@mail.gmail.com': 0.30; "i'm": 0.30; 'yesterday.': 0.31; 'could': 0.34; 'received:google.com': 0.35; 'url:org': 0.36; 'field.': 0.61; 'url:index': 0.63; 'more': 0.64; 'jul': 0.74; '2013': 0.98 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:content-type; bh=Elcjkgk06/Cx3yPx6KPAXnb+kzI5NHLrRLJmwmPJpQ0=; b=1FzetzAGB/0+fxTWnySqluba3OCEL5AYqjjp8DYLYpp8xHQdQPcmzmD0ULXqFHKB7S qSXs3VhtsXMszYNq9PkE9gpVOyH9EndUzpGb14G+JgzX6TV0f6xADfCwaK7gqFuln4EN Il0v0474B9Iaeb3SaG6sugh9xX+O8hv0SdeCO+GCl38v5hZb7/WmpVoQVF6sk59cyvpP NquhvuIgqbWH4Fg9djAcGyhdSsWCWavnOFgsOTg5qMHfuWlTu943ni+i73bZYLQTAu2p SWtPa6aXtVz57mSzEDUsFv6OGh9b9H0dXBbKlCjoslE7crdmocIaDtvetRcLpXj0VvX1 iAKw== MIME-Version: 1.0 X-Received: by 10.229.33.136 with SMTP id h8mr4924290qcd.25.1373530610961; Thu, 11 Jul 2013 01:16:50 -0700 (PDT) In-Reply-To: <51de667e$0$29866$c3e8da3$5496439d@news.astraweb.com> References: <51de667e$0$29866$c3e8da3$5496439d@news.astraweb.com> Date: Thu, 11 Jul 2013 09:16:50 +0100 Subject: Re: Mypy From: =?ISO-8859-1?Q?F=E1bio_Santos?= To: "Steven D'Aprano" Content-Type: multipart/alternative; boundary=14dae9d70d0a27967204e138048b Cc: python-list@python.org X-BeenThere: python-list@python.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: General discussion list for the Python programming language List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.python Message-ID: Lines: 34 NNTP-Posting-Host: 2001:888:2000:d::a6 X-Trace: 1373530613 news.xs4all.nl 15884 [2001:888:2000:d::a6]:47210 X-Complaints-To: abuse@xs4all.nl Xref: csiph.com comp.lang.python:50426 --14dae9d70d0a27967204e138048b Content-Type: text/plain; charset=ISO-8859-1 On 11 Jul 2013 09:08, "Steven D'Aprano" wrote: > > Things are certainly heating up in the alternate Python compiler field. > Mypy is a new, experimental, implementation of Python 3 with optional > static typing and aiming for efficient compilation to machine code. > > http://www.mypy-lang.org/index.html > Guido tweeted that yesterday. It seems interesting. Although I'm not comfortable using a subset of the language. They seem to want to kill the GIL. This could get much more popular when they do. --14dae9d70d0a27967204e138048b Content-Type: text/html; charset=ISO-8859-1


On 11 Jul 2013 09:08, "Steven D'Aprano" <steve@pearwood.info> wrote:
>
> Things are certainly heating up in the alternate Python compiler field.
> Mypy is a new, experimental, implementation of Python 3 with optional
> static typing and aiming for efficient compilation to machine code.
>
> http://www.mypy-lang.org/index.html
>

Guido tweeted that yesterday. It seems interesting. Although I'm not comfortable using a subset of the language.

They seem to want to kill the GIL. This could get much more popular when they do.

--14dae9d70d0a27967204e138048b--