From: Lothar Scholz <mailinglists@...>
Date: 2004-04-24T11:52:50+09:00
Subject: Re: Psyco

Hello Robert,

Saturday, April 24, 2004, 2:36:39 AM, you wrote:

RF> Jean-Hugues ROBERT wrote:

>> At 06:07 24/04/2004 +0900, you wrote:
>>
>>> Interesting stuff for Python, is any work like this being done in Ruby?
>>>   http://psyco.sourceforge.net/introduction.html
>>> Jim Moy
>>
>>
>> Impressive !
>>
>> They could produce better code (less memory overhead) if Python's
>> syntax was expanded so that user could provide "hints" about what
>> deserves to be optimized. Today they suggest profiling as an
>> heuristic.
>>
>> There was a time when C compilers had #pragma register, whereby
>> users worried about speed could help the compiler produce faster
>> code (when you need speed, you need it hard).
>>
>> Better have some user directed optimizations than nothing.
>>
RF> Maybe, but first you should do static type inference as much as you can,
RF> see

RF> http://www.python.org/pycon/dc2004/papers/1/paper.pdf

RF> and if you then want to give hints there is no need to extend the 
RF> syntax; simply add a private method on Module for attaching type hints
RF> to methods etc. I think the StarKiller has some kind of type annotation
RF> language like that.

You must use some compiler/interpreter internals and only if it is to
ignore the type assertation without additional overhead.

RF> But speed may not be very important anyway... ;)

It is only important for 75% of all projects.

-- 
Best regards,
 Lothar                            mailto:mailinglists@scriptolutions.com