Return-Path: <rosuav@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.012
X-Spam-Evidence: '*H*': 0.98; '*S*': 0.00; 'url:pipermail': 0.05; 'feature.': 0.09; 'imho.': 0.09; 'cc:addr:python-list': 0.11; 'language,': 0.12; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'in;': 0.16; 'massively': 0.16; 'thread,': 0.16; 'weigh': 0.16; 'language': 0.16; 'wrote:': 0.18; 'thu,': 0.19; 'input': 0.22; 'cc:addr:python.org': 0.22; 'cc:2**0': 0.24; 'asking': 0.27; 'header:In-Reply-To:1': 0.27; 'feature': 0.29; 'am,': 0.29; "doesn't": 0.30; 'strongly': 0.30; 'message- id:@mail.gmail.com': 0.30; 'there.': 0.32; 'open': 0.33; 'url:python': 0.33; 'could': 0.34; 'something': 0.35; 'but': 0.35; 'received:google.com': 0.35; 'there': 0.35; "didn't": 0.36; 'similar': 0.36; 'url:org': 0.36; 'effort': 0.37; 'url:mail': 0.40; "you'll": 0.62; '30,': 0.65; 'fact,': 0.69; 'received,': 0.84; 'to:none': 0.92; 'you...': 0.96
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:cc :content-type; bh=0vFHwsZlvmM6wiYP5wIsDAy4WuuRE3xACmjDYgldh7o=; b=cltjM/kBF15xLfoh03NayDHQ2iaP3YbITmqtJmMffD1NtYzpZX9W3MWUl05AfSZfZR 1s0iYyMzDusfludlHMjSURVMtCqslDEExWBu2Z5CwhNco8vZma5wtaIF0l5jqTgYIm1F 4X+tFvDvOTTmJEjh0EUd/ncLWpmhEwAWY0k3PJkHoAthzqkwrNFNLFjnRYE8w04BiTdo o2AOqlPXW9+ESJHwywPE/Fep0ZC4ck9Kv/jmL3TorqEtozt/J6ElAtgEpU/w55MbRV+j LZDXLmo4wFkJMoiN20IzYvCY+4x7t9gH6hIudTEvjRe68v//K1bKRVWgLCntq70GZRkt bXPw==
MIME-Version: 1.0
X-Received: by 10.50.136.134 with SMTP id qa6mr831909igb.2.1414603500392; Wed, 29 Oct 2014 10:25:00 -0700 (PDT)
In-Reply-To: <18fa60be-225e-422d-82de-902c4a0c66da@googlegroups.com>
References: <99399d4a-902d-42d9-86c8-7bdcd2a766cc@googlegroups.com> <mailman.15302.1414601774.18130.python-list@python.org> <18fa60be-225e-422d-82de-902c4a0c66da@googlegroups.com>
Date: Thu, 30 Oct 2014 04:25:00 +1100
Subject: Re: optional types
From: Chris Angelico <rosuav@gmail.com>
Cc: "python-list@python.org" <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.15303.1414603509.18130.python-list@python.org>
Lines: 20
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1414603509 news.xs4all.nl 2904 [2001:888:2000:d::a6]:33698
X-Complaints-To: abuse@xs4all.nl
Path: csiph.com!usenet.pasdenom.info!bete-des-vosges.org!feed.ac-versailles.fr!nerim.net!novso.com!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Xref: csiph.com comp.lang.python:79925

On Thu, Oct 30, 2014 at 4:18 AM, Kiuhnm <gandalf23@mail.com> wrote:
>> Personally I am skeptical, but there is an effort underway:
>>
>> http://www.mypy-lang.org/
>> https://mail.python.org/pipermail/python-ideas/2014-August/028742.html
>>
>> Nothing that your search engine of choice could not have found you...
>
> In fact, I did find it, but that didn't stop me from asking :)
>
> You can find something similar for almost any dynamic language out there.
> If it isn't an official feature of the language, it's useless, IMHO.

As you'll see from the python-ideas thread, there's a proposal
under-way to *make* this an official feature. However, it's massively
open to bikeshedding :) If you feel strongly about this, come join us
on python-ideas and weigh in; all input will be warmly received, and
that doesn't mean we respond with flames... not usually, anyway!

ChrisA