9 Feb
2001
9 Feb
'01
2:59 a.m.
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 QRCZAK