Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.python > #94240

Re: Generating type annotations by tracing execution runs

References <20150720105928.1a84afa8@mwilliamson.workgroup>
Date 2015-07-21 03:18 +1000
Subject Re: Generating type annotations by tracing execution runs
From Chris Angelico <rosuav@gmail.com>
Newsgroups comp.lang.python
Message-ID <mailman.789.1437412683.3674.python-list@python.org> (permalink)

Show all headers | View raw


On Mon, Jul 20, 2015 at 7:59 PM, Michael Williamson <mike@zwobble.org> wrote:
> I've knocked together a quick proof-of-concept that allows type
> annotations to be automatically added to Python source code by running
> it:
>
>     https://github.com/mwilliamson/farthing
>
> As the code, such as a test suite, runs, the types of arguments and
> return values (for functions in the file/directory to be annotated) are
> stored. After the code has finished, appropriate annotations are added.
> (There's a tiny example in the README.rst in case that makes things a
> little clearer.)

Sounds to me like a type inference system. Can be pretty handy in some
codebases.

ChrisA

Back to comp.lang.python | Previous | NextNext in thread | Find similar | Unroll thread


Thread

Re: Generating type annotations by tracing execution runs Chris Angelico <rosuav@gmail.com> - 2015-07-21 03:18 +1000
  Re: Generating type annotations by tracing execution runs Paul Rubin <no.email@nospam.invalid> - 2015-07-20 10:34 -0700

csiph-web