Re: Unpredictable programming

Marshall wrote:
> Bruno Desthuilliers wrote:
>

>>Bob Badour wrote:
>>(snip)
>>
>>
>>>which naturally separates the concern for
>>>correctness from the concern for efficiency. Those of us who understand
>>>the relational model and SQL, understand that one can address the
>>>concern for efficiency separately, for example by creating indexes, by
>>>clustering data, and by automating the translation from the declarative
>>>language to the physical hardware.
>>
>>May work for DBMS, but would it be that easy for a more general-purpose
>>language ? (real question, not trying to make a point)

Indeed, but this is rather general consideration and seems somewhat obvious. DBMS "optimisation" is already a non-trivial job wrt/ both DBMS implementation and administration/fine tuning, and the scope is AFAICT somewhat more limited than a general purpose programming language.

Now I just know enough about this topic to know I lack the required knowledge to do more than ask possibly dumb questions, so please bear with me !-)

>>>The OO computational model is simply not as amenable to higher order
>>>transformations. The executable code more directly reflects the
>>>specification. For instance, optimizers do not combine object classes to
>>>transform a collection of possibly inefficient state machines into a
>>>single more-efficient state machine.
>>
>>But would that really be - at least in theory - impossible ? (idem as above)

I noticed the words. But natural languages are far more ambigous and fuzzy than programming languages, and English is still not my first language, so I don't know for sure how I should compile the whole thing - hence my demand for clarification.

-- 
bruno desthuilliers
python -c "print '_at_'.join(['.'.join([w[::-1] for w in p.split('.')]) for
p in 'onurb_at_xiludom.gro'.split('@')])"