Re: Example of expression bias?
From: paul c <toledobythesea_at_oohay.ac>
Date: Wed, 21 Jun 2006 00:56:09 GMT
Message-ID: <JO0mg.68558$Mn5.64421_at_pd7tw3no>
>
> This may be one definition of a data type (not quite one I'd accept, as
> we've thrashed over elsewhere), but there is nothing particular to RM
> about this.
> ...
Date: Wed, 21 Jun 2006 00:56:09 GMT
Message-ID: <JO0mg.68558$Mn5.64421_at_pd7tw3no>
Tony D wrote:
> ...
>> A data type in RM = (a domain1 to draw values from) + (restrictions >> implemented on domain1 --> domain constraint) + (operators that can be >> defined using that data type) >> ...
>
> This may be one definition of a data type (not quite one I'd accept, as
> we've thrashed over elsewhere), but there is nothing particular to RM
> about this.
> ...
p Received on Wed Jun 21 2006 - 02:56:09 CEST