Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-16 Thread Michael Lazzaro
On Friday, June 13, 2003, at 10:26 PM, David Storrs wrote: On the subject of untyped scalars...what does it mean to say that the conversion is 'lossless'? For example: I've been using the word to mean that a conversion is lossless if, for a particular A--B conversion, you can recreate the typed

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-16 Thread David Storrs
On Mon, Jun 16, 2003 at 10:15:57AM -0700, Michael Lazzaro wrote: On Friday, June 13, 2003, at 10:26 PM, David Storrs wrote: my $a = 'foo'; my Int $b = $a; # legal; $b is now 0; is there a warning? my $c = $b; # is $c 0, or 'foo'? 0, I think. Or specifically, CInt

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-16 Thread Austin Hastings
--- David Storrs [EMAIL PROTECTED] wrote: On Mon, Jun 16, 2003 at 10:15:57AM -0700, Michael Lazzaro wrote: On Friday, June 13, 2003, at 10:26 PM, David Storrs wrote: my $a = 'foo'; my Int $b = $a;# legal; $b is now 0; is there a warning? my $c = $b;

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-16 Thread Michael Lazzaro
On Monday, June 16, 2003, at 11:04 AM, David Storrs wrote: On Mon, Jun 16, 2003 at 10:15:57AM -0700, Michael Lazzaro wrote: (I've been operating under the assumption that an untyped scalar doesn't _remove_ the type of something, it just can store values of _any_ type, and is by default much more

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-16 Thread David Storrs
On Mon, Jun 16, 2003 at 11:47:35AM -0700, Austin Hastings wrote: Although it occurs to me that there might be such a thing as Int properties and Str properties, and maybe the conversion propagates the appropriate ones. That is: my $a = foo but $purple ; $a but= false; $a but= prime;

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-13 Thread David Storrs
On Tue, Jun 10, 2003 at 12:04:14PM -0700, Michael Lazzaro wrote: J: (scalar junctive to typed scalar) A scalar junctive, e.g. an untyped scalar, can always be silently used as and/or converted to a more specific primitive type. This will quite frequently result in the loss of

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-11 Thread Tim Bunce
On Tue, Jun 10, 2003 at 12:04:14PM -0700, Michael Lazzaro wrote: *: (undefness and properties lost) Using/converting an uppercase type as/to a lowercase (primitive) type is silently allowed. If you're sending an Int to something that requires an Cint, you know that the 'something'

Re: Type Conversion Matrix, Pragmas (TAKE 4)

2003-06-11 Thread Michael Lazzaro
On Wednesday, June 11, 2003, at 05:48 AM, Tim Bunce wrote: (vi) Conversions of User Defined Types/Classes It may be useful to allow the same level of pragma-based control for user-defined types and classes. For example, a given class Foo may wish to be silently convertable to an