Re: data & code
From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Thu, 27 May 2004 02:32:14 +0200
Message-ID: <40b5370c$0$36860$e4fe514c_at_news.xs4all.nl>
Which operators: domain implied/system defined operators only or including all special purpose/user defined operators? Extensions (yuck!)? Where is 'class' in this terminology? Received on Thu May 27 2004 - 02:32:14 CEST
Date: Thu, 27 May 2004 02:32:14 +0200
Message-ID: <40b5370c$0$36860$e4fe514c_at_news.xs4all.nl>
Leandro Guimaraens Faria Corsetti Dutra wrote:
> mAsterdam escreveu:
>
>>I am still looking for 'type'.some (to me) difficult questions:
>
> Would saying that a type is a domain plus its operator be OK?
Yes, I've seen this used, too. But that leaves me with
Which operators: domain implied/system defined operators only or including all special purpose/user defined operators? Extensions (yuck!)? Where is 'class' in this terminology? Received on Thu May 27 2004 - 02:32:14 CEST