Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Neal Becker <ndbecker2@gmail.com>
Newsgroups: comp.lang.python
Subject: Just-in-Time Static Type Checking for Dynamic Languages
Date: Wed, 20 Apr 2016 08:34:41 -0400
Lines: 5
Message-ID: <mailman.23.1461155693.12923.python-list@python.org>
References: <nf7t12$q32$1@ger.gmane.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Trace: news.uni-berlin.de djXG4qvcGY2vooa1v3ukjgIkw2grbJ1Lgtktw9G5+zhw==
Return-Path: <python-python-list@m.gmane.org>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.032
X-Spam-Evidence: '*H*': 0.94; '*S*': 0.00; 'received:80.91': 0.09; 'received:80.91.229': 0.09; 'received:gmane.org': 0.09; 'received:list': 0.09; 'ruby,': 0.09; 'python.': 0.11; 'discusses': 0.16; 'received:80.91.229.3': 0.16; 'received:io': 0.16; 'received:plane.gmane.org': 0.16; 'received:psf.io': 0.16; 'subject:Languages': 0.16; 'header:User-Agent:1': 0.26; 'header:X -Complaints-To:1': 0.26; 'useful': 0.33; 'but': 0.36; 'url:org': 0.36; 'to:addr:python-list': 0.36; 'received:org': 0.37; 'application': 0.39; 'subject:-': 0.39; 'to:addr:python.org': 0.40; 'some': 0.40; 'subject:  ': 0.61; 'interest': 0.64; 'you.': 0.64; 'saw': 0.77; 'article,': 0.84; 'received:139': 0.91; 'subject:Just': 0.91
X-Injected-Via-Gmane: http://gmane.org/
X-Gmane-NNTP-Posting-Host: exa2-in-fw-01-epn.hns.com
User-Agent: KNode/4.14.10
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: <nf7t12$q32$1@ger.gmane.org>
Xref: csiph.com comp.lang.python:107408

I saw this article, which might interest some of you.  It discusses 
application to ruby, but perhaps might have ideas useful for python.

https://arxiv.org/abs/1604.03641