Re: optional types

References	<99399d4a-902d-42d9-86c8-7bdcd2a766cc@googlegroups.com> <mailman.15302.1414601774.18130.python-list@python.org> <18fa60be-225e-422d-82de-902c4a0c66da@googlegroups.com>
Date	2014-10-30 04:25 +1100
Subject	Re: optional types
From	Chris Angelico <rosuav@gmail.com>
Newsgroups	comp.lang.python
Message-ID	<mailman.15303.1414603509.18130.python-list@python.org> (permalink)

Show all headers | 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