Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.python > #94226
| Path | csiph.com!usenet.pasdenom.info!news.redatomik.org!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail |
|---|---|
| Return-Path | <mike@zwobble.org> |
| 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; 'finished,': 0.07; 'added.': 0.09; 'annotations': 0.09; 'received:internal': 0.09; 'runs,': 0.09; 'url:github': 0.09; 'python': 0.10; 'appropriate': 0.14; 'prototype': 0.15; 'from:addr:mike': 0.16; 'readme.rst': 0.16; 'received:10.202': 0.16; 'received:10.202.2': 0.16; 'received:66.111': 0.16; 'received:66.111.4': 0.16; 'received:messagingengine.com': 0.16; 'stored.': 0.16; 'subject:type': 0.16; 'together.': 0.20; 'arguments': 0.22; 'code,': 0.23; "i've": 0.25; 'example': 0.26; 'values': 0.28; 'allows': 0.30; 'code': 0.30; 'knows': 0.32; 'anybody': 0.32; 'source': 0.33; 'michael': 0.33; 'curious': 0.33; '(for': 0.34; 'running': 0.34; 'done': 0.35; 'to:addr:python-list': 0.36; 'received:10': 0.37; 'thanks': 0.37; 'charset:us-ascii': 0.37; 'things': 0.38; 'received:66': 0.38; 'anything': 0.38; 'test': 0.39; 'to:addr:python.org': 0.40; 'hello,': 0.40; 'received:86': 0.93 |
| DKIM-Signature | v=1; a=rsa-sha1; c=relaxed/relaxed; d=zwobble.org; h= content-transfer-encoding:content-type:date:from:message-id :mime-version:subject:to:x-sasl-enc:x-sasl-enc; s=mesmtp; bh=HhK bsaKLFrBf2qJr33WUMJqJXvM=; b=02/CK7zLyAK1m+APrzePQC5m2HwdVggHQeT 9YFNn13Aq9Ej/y+ZHM/B8MQRUwQtAUbWw99evsUBSi5tjAgwCyvkLYYKUDumz31/ qQtuLj6Pjp//9ht9VXW1/GkEusKaQs1679R++3CJBbv0XWft1Y6JdqXafKCnlnTV VyzgrHkU= |
| DKIM-Signature | v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:message-id:mime-version:subject:to:x-sasl-enc :x-sasl-enc; s=smtpout; bh=HhKbsaKLFrBf2qJr33WUMJqJXvM=; b=TJF2G 1joNsEtviPQNz8KaxDsHaxXpZN+kqX0DQp6GcUMBHhB8dCP6QBqbV0jr3wPUPtTM EepsSf+JuxljJrwh4hx9ZTWhoAKYvAI7zcwYPHOSA3vUGJPUGtXog+1pxfZ26Ect xEpPwhPQotFa3aLn5A7hmc1p547eRY+ytvTXfM= |
| X-Sasl-enc | yWcprfLYBGPQVRtPj9QjHsde6d7PuXd2QadkitY7kVjm3xg 1437386373 |
| Date | Mon, 20 Jul 2015 10:59:28 +0100 |
| From | Michael Williamson <mike@zwobble.org> |
| To | python-list@python.org |
| Subject | Generating type annotations by tracing execution runs |
| X-Mailer | Claws Mail 3.11.1 (GTK+ 2.24.10; x86_64-unknown-linux-gnu) |
| MIME-Version | 1.0 |
| Content-Type | text/plain; charset=US-ASCII |
| Content-Transfer-Encoding | 7bit |
| X-Mailman-Approved-At | Mon, 20 Jul 2015 12:30:39 +0200 |
| X-BeenThere | python-list@python.org |
| X-Mailman-Version | 2.1.20+ |
| 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.779.1437388240.3674.python-list@python.org> (permalink) |
| Lines | 21 |
| NNTP-Posting-Host | 2001:888:2000:d::a6 |
| X-Trace | 1437388240 news.xs4all.nl 2965 [2001:888:2000:d::a6]:59549 |
| X-Complaints-To | abuse@xs4all.nl |
| Xref | csiph.com comp.lang.python:94226 |
Show key headers only | View raw
Hello,
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.)
At the moment, this is just a small prototype that I've cobbled
together. I was curious if anybody knows if anybody else has done
anything similar?
Thanks
Michael
Back to comp.lang.python | Previous | Next | Find similar | Unroll thread
Generating type annotations by tracing execution runs Michael Williamson <mike@zwobble.org> - 2015-07-20 10:59 +0100
csiph-web