Re: Generating type annotations by tracing execution runs

From	Paul Rubin <no.email@nospam.invalid>
Newsgroups	comp.lang.python
Subject	Re: Generating type annotations by tracing execution runs
Date	2015-07-20 10:34 -0700
Organization	A noiseless patient Spider
Message-ID	<87a8uqybqt.fsf@jester.gateway.sonic.net> (permalink)
References	<20150720105928.1a84afa8@mwilliamson.workgroup> <mailman.789.1437412683.3674.python-list@python.org>

Show all headers | View raw

Chris Angelico <rosuav@gmail.com> writes:
>> As the code, such as a test suite, runs, the types of arguments and
>> return values...
> Sounds to me like a type inference system. Can be pretty handy in some
> codebases.

I haven't tried it out yet but it sounds more like the type extraction
part of a JIT compiler, i.e. the types are collected from actual
execution traces rather than statically.  I think of "type inference" as
meaning syntactic inference at compile time.

Back to comp.lang.python | Previous | Next — Previous 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