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>
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

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