Re: Shared game-data
Date: Mon, 01 May 2006 13:37:45 GMT
Message-ID: <Jao5g.1340$A26.37703_at_ursa-nb00s0.nbnet.nb.ca>
Dmitry A. Kazakov wrote:
If the language fully separates the concern for correctness from the
concern for performance, I am not entirely certain how the single
> 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?
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 - 15:37:45 CEST