Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: =?UTF-8?Q?Nagy_L=c3=a1szl=c3=b3_Zsolt?= <gandalf@shopzeus.com>
Newsgroups: comp.lang.python
Subject: Recursive type annotations
Date: Wed, 8 Jun 2016 15:02:23 +0200
Lines: 26
Message-ID: <mailman.77.1465390948.2306.python-list@python.org>
References: <8e439d4f-182d-334d-ffbe-8c39856cdd33@shopzeus.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de MaYJTQJJlnNBB4YIEdODHgDWass1OTOZLeumshNYOv5Q==
Return-Path: <gandalf@shopzeus.com>
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; 'compiler': 0.05; 'method.': 0.05; 'rename': 0.07; 'annotations': 0.09; 'argument,': 0.09; 'ide': 0.09; 'nameerror:': 0.09; 'syntax': 0.13; 'def': 0.13; '"test"': 0.16; 'bind': 0.16; 'executed.': 0.16; 'expert,': 0.16; 'received:io': 0.16; 'received:psf.io': 0.16; 'subject:type': 0.16; 'byte': 0.18; 'prevent': 0.20; 'to:name :python-list@python.org': 0.20; 'recognize': 0.22; 'pass': 0.22; 'code.': 0.23; 'defined': 0.23; 'forgot': 0.23; 'thanks,': 0.24; '(e.g.': 0.27; "i'm": 0.30; 'class': 0.33; 'common': 0.33; 'definition': 0.34; 'but': 0.36; 'there': 0.36; 'child': 0.36; 'to:addr:python-list': 0.36; 'being': 0.37; 'method': 0.37; 'data': 0.39; 'build': 0.40; 'to:addr:python.org': 0.40; 'where': 0.40; 'some': 0.40; 'charset:iso-8859-2': 0.64; 'believe': 0.66; "'test'": 0.84; 'detecting': 0.84
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=shopzeus.com; s=shopzeus_com; t=1465390941; bh=IOVK3q0udjGBPz/a0l4ZLxqnbT2vKDHo8IpzGxs+nPY=; h=To:From:Subject:Date:From; b=DwY9867+kADHLw3HQc++JHxkgHHvuH1QyFVDsvDJDVhou6+NAPSrmL3GbqerJIQa+ OlPUoR5FpOE+dXXtnooxIN74R8IQvLqfhSHMdXEZueMBb+wC8m2NBxW/h4E0dLEG2Z kcng234Wi2dypY/JeqxBNkl9I+srsPlUFrRg2oBb3W6evqJZB5Q7DoqAIHTd0/a6tP dn2Gqn9trKt/zcmhUCJwzmmFis3Y1+KOFLuphDmGGx68CzRv5CmJClLr6Nad2kP9We 7vu9v7XVde9kl+ih62PSZWorIGrKWKCsq8t1gRo0sBFlvshJTXqNGxXxiN9pDQAT6K GBH9c4r6dfHOA==
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.22
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>
X-Mailman-Original-Message-ID: <8e439d4f-182d-334d-ffbe-8c39856cdd33@shopzeus.com>
Xref: csiph.com comp.lang.python:109675


class Test:
    def test(self, child : Test):
        pass

NameError: name 'Test' is not defined

I understand that the class "Test" is not defined until the class
definition is executed. But it is very very common to build recursive
data structures, and I have concrete use case where the IDE did not
recognize the type of the argument, and as a result it forgot to rename
some method calls when I auto-refactored the name of the method.

I'm not an expert, but I believe that these annotations are not used by
the byte compiler for anything. This is just pure syntax introduced for
the person who reads the code.

Is there a known obsticle that would prevent us from detecting recursive
type annotations? (E.g. bind the annotation to the class that is being
defined.)

Thanks,

   Laszlo