Just-in-Time Static Type Checking for Dynamic Languages

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> (permalink)
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

Show key headers only | View raw

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

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

Thread

Just-in-Time Static Type Checking for Dynamic Languages Neal Becker <ndbecker2@gmail.com> - 2016-04-20 08:34 -0400

csiph-web