`Covertible' class. Reply.

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
9 Feb 2001 02:59:53 GMT

Thu, 08 Feb 2001 09:41:55 +0300, S.D.Mechveliani <mechvel@math.botik.ru> pisze:

> If  s  is an element of a certain domain, then one can use the
> construction  
>                      cast s x
> to convert various data  x  to corresponding canonical values in the
> domain defined by  s.

Defining a domain by a sample argument is neither elegant (most of
the time it's not needed because the type determines the domain)
nor general (when considering domains not defined by types, there
can be more than one domain sharing a value of the carrier type).
So this is generally a bad idea.

 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
  ^^                      SYGNATURA ZASTĘPCZA