Re: Shared game-data

From: Dmitry A. Kazakov <mailbox_at_dmitry-kazakov.de>
Date: Mon, 1 May 2006 17:42:34 +0200
Message-ID: <1ts98jt42t641$.u2gxcs9u8vf8.dlg_at_40tude.net>


On Mon, 01 May 2006 13:37:45 GMT, Bob Badour wrote:

> 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.

OK, if they won't leak through reflection.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
Received on Mon May 01 2006 - 17:42:34 CEST

Original text of this message