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: Subject: Shen video appeal - generating type secure Python From: Mark Tarver 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 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