Re: Shared game-data

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Mon, 01 May 2006 13:37:45 GMT
Message-ID: <Jao5g.1340$A26.37703@ursa-nb00s0.nbnet.nb.ca>

Dmitry A. Kazakov wrote:

> On 30 Apr 2006 20:15:46 -0700, Marshall  Spight wrote:
> 

>>It would be an improvement over the current state of affairs
>>if the programmer had a language with which to express
>>the logical semantics of his program, and a separate
>>language with which to express implementation. Thus
>>different implementations could by tried out, manually,
>>and measured, without affecting the results of the
>>program.

>
> Why not to do it in one language?

If the language fully separates the concern for correctness from the concern for performance, I am not entirely certain how the single language would differ from two languages.

That part of the language concerned with correctness could make no reference to physical structures like pointers, indexes etc. One would then end up with two distinct sub-languages in any case. Received on Mon May 01 2006 - 08:37:45 CDT