Re: type and subtype

On Mon, 25 Jul 2005 08:41:48 -0700, Jeffrey Carter wrote:

> Dmitry A. Kazakov wrote:
>>
>> I think that Ludovic's view is more consistent: checks are just a part of
>> the conversion which otherwise is an identity function, because *presently*
>> the representation is required to be same. But representation is an
>> implementation detail and thus cannot count. Moreover it is very desirable
>> to allow subtypes having different representations.
>
> because representations of subtypes are not required to be the same.

Depends on the definition, but I better agree with this. After all there
are other examples like String vs. String (1..20).

So, if representations aren't same then a conversion is required. Also
Ludovic was right.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
.

Relevant Pages

  • Re: Application logic and Business logic
    ... Dmitry A. Kazakov wrote: ... How to store ... id string, ...
    (comp.object)
  • Re: Data table text I/O package?
    ... > Dmitry A. Kazakov wrote: ... >> There is a better technique to parse strings than to tokenize them first. ... >> string and advance the position to the first character following the date. ...
    (comp.lang.ada)
  • Re: How to determine odd or even number?
    ... > I'd love to know how some of the heavy hitters here ... The trivial reason is that its a totally unrealistic exercise, ... String as most people have assumed in their replies. ... natural representations, none of which are implicit in the value itself. ...
    (comp.lang.java.programmer)
  • Re: Epistemology 201: The Science of Science
    ... but you have excluded representing strings from ... :>You cannot place octal and decimals numbers in the same set and call it a ... are the operations on the string representations. ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... but you have excluded representing strings from ... :>You cannot place octal and decimals numbers in the same set and call it a ... are the operations on the string representations. ...
    (sci.cognitive)