Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!weretis.net!feeder4.news.weretis.net!news.mixmin.net!aioe.org!.POSTED!not-for-mail
From: Kaz Kylheku <kaz@kylheku.com>
Newsgroups: comp.programming
Subject: Re: compiling python
Date: Sun, 11 Jan 2015 19:24:23 +0000 (UTC)
Organization: Aioe.org NNTP Server
Lines: 13
Message-ID: <20150111112226.707@kylheku.com>
References: <39a759ea-06c0-4e33-93e8-6c5f99fa9303@googlegroups.com> <cPZrw.416147$Kl4.243354@fx01.am4> <20150110110749.53@kylheku.com> <bkhsw.531647$dG.86517@fx32.am4>
NNTP-Posting-Host: X+c6YNb3AaWMPA3YfA4opg.user.speranza.aioe.org
X-Complaints-To: abuse@aioe.org
User-Agent: slrn/pre1.0.0-18 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: csiph.com comp.programming:5081

On 2015-01-10, BartC <bc@freeuk.com> wrote:
> On 10/01/2015 19:19, Kaz Kylheku wrote:
>> On top of that, advanced dynamic languages support optimization. If you
>> promise to the compiler, via declarations, that a, b, and c have certain
>> types, then it can generate better code.
>
> That wouldn't count as pure Python then (but as a different version, 
> perhaps CPython). When I tried adding type info to my own language 
> efforts, the modest gains weren't worth the extra complexity or losing 
> the elegance of the language's variant types.

I see, and whatever you've been able to achieve is representative of
what is possible. Nay, the upper bound.