Shen video appeal - generating type secure Python

X-Received	by 10.224.64.202 with SMTP id f10mr4167017qai.2.1376674664937; Fri, 16 Aug 2013 10:37:44 -0700 (PDT)
X-Received	by 10.49.56.7 with SMTP id w7mr103090qep.16.1376674664876; Fri, 16 Aug 2013 10:37:44 -0700 (PDT)
Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!fx3no2716819qab.0!news-out.google.com!he10ni2163qab.0!nntp.google.com!fx3no2716816qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups	comp.lang.python
Date	Fri, 16 Aug 2013 10:37:44 -0700 (PDT)
Complaints-To	groups-abuse@google.com
Injection-Info	glegroupsg2000goo.googlegroups.com; posting-host=81.101.46.57; posting-account=kJbRXgoAAADVvCa8xCOuqxtZ-KSaXUAS
NNTP-Posting-Host	81.101.46.57
User-Agent	G2/1.0
MIME-Version	1.0
Message-ID	<a362e44b-06d5-462c-b3f5-e48bc0d1e907@googlegroups.com> (permalink)
Subject	Shen video appeal - generating type secure Python
From	Mark Tarver <dr.mtarver@gmail.com>
Injection-Date	Fri, 16 Aug 2013 17:37:44 +0000
Content-Type	text/plain; charset=ISO-8859-1
Xref	csiph.com comp.lang.python:52600

Show key headers only | View raw

Shen is a hypermodern functional programming language based on a core that is essentially a Lisp, but portable to many major language platforms. One of these platforms is Python. I am asking for support for the Shen project in this video appeal

www.shenlanguage.org/appeal.html

The video explains the important work taking place in the Shen group and what we hope to achieve. Essentially we will be able to generate type-secure Python programs which can be run independently within the Python environment. 

We're asking Python programmers to support us in the production of this technology.  

with thanks

Mark Tarver
www.shenlanguage.org

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

Thread

Shen video appeal - generating type secure Python Mark Tarver <dr.mtarver@gmail.com> - 2013-08-16 10:37 -0700

csiph-web