Re: optional types

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> (permalink)
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

Show key headers only | View raw

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

Thread

optional types Kiuhnm <gandalf23@mail.com> - 2014-10-29 09:17 -0700
  Re: optional types Peter Otten <__peter__@web.de> - 2014-10-29 17:51 +0100
    Re: optional types Kiuhnm <gandalf23@mail.com> - 2014-10-29 10:18 -0700
      Re: optional types Chris Angelico <rosuav@gmail.com> - 2014-10-30 04:25 +1100
      Re: optional types Ethan Furman <ethan@stoneleaf.us> - 2014-10-29 10:46 -0700
      Re: optional types Chris Angelico <rosuav@gmail.com> - 2014-10-30 05:03 +1100
        Re: optional types Marko Rauhamaa <marko@pacujo.net> - 2014-10-29 20:18 +0200
          Re: optional types Chris Angelico <rosuav@gmail.com> - 2014-10-30 05:43 +1100
          Re: optional types Kiuhnm <gandalf23@mail.com> - 2014-10-29 12:03 -0700
            Re: optional types Marko Rauhamaa <marko@pacujo.net> - 2014-10-29 21:07 +0200
            Re: optional types Kiuhnm <gandalf23@mail.com> - 2014-10-29 12:09 -0700
            Re: optional types Mark Lawrence <breamoreboy@yahoo.co.uk> - 2014-10-29 19:22 +0000
              Re: optional types Marko Rauhamaa <marko@pacujo.net> - 2014-10-29 21:44 +0200
                Re: optional types Kiuhnm <gandalf23@mail.com> - 2014-10-29 13:43 -0700
              Re: optional types Kiuhnm <gandalf23@mail.com> - 2014-10-29 13:40 -0700
  Re: optional types Nick Cash <nick.cash@npcinternational.com> - 2014-10-29 16:25 +0000

csiph-web