Re: Entity and Identity
From: none <rp_at_raampje.>
Date: 15 Aug 2009 23:07:17 GMT
Message-ID: <4a873fa5$0$23466$703f8584_at_news.kpn.nl>
Date: 15 Aug 2009 23:07:17 GMT
Message-ID: <4a873fa5$0$23466$703f8584_at_news.kpn.nl>
Nilone wrote:
>Here is a rough description of a hypothetical type system for a
>programming language. My terminology is based on C#, but the logic is
>based on relational theory. [...]
But it's essentially a restriction of C# or Java, isn't it? You restrict inheritance.
I don't understand the significance of the distinction between 'state machines' and other reference types in your system.
-- ReinierReceived on Sun Aug 16 2009 - 01:07:17 CEST