Re: Overriding 'Class'Input (was: List container strawman 1.1)

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

Well, you're probably correct about how it works - but now I'm wondering
about what happens inside a hypothetical 'Write or 'Read for a hypothetical
list. The list itself is probably some form of record, with access values to
build a chain of nodes. So internally, you do a 'Write on the record (or the
fields of the record you want to save) then you are going to do 'Writes for
the individual nodes? What if you want the 'Output for the nodes so that any
tags, discriminants, etc end up in the stream? Now you've got a reason for
wanting to have the 'Input and 'Output to be manually constructed? Or does
the magic extend to the compiler knowing that the 'Reads & 'Writes of the
nodes should be converted to 'Inputs and 'Outputs just because you got there
from a 'Input or 'Output? (Can't imagine how!)

IIRC, somewhere between keeping the bounds/discriminants/tags around in the
stream and dynamic allocation and knowing what you've got in the stream and
dispatching on 'Class'Read/'Class'Write, I think you've got a means of
storing and recreating a list of just about anything. I'm just not entirely
convinced that it can be done with overriding the 'Read and 'Write alone.
(Maybe I need to reread some of this stuff, look at code I did some time ago
& do a few experiments.... Hmmmm........)

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Ted Dennison" <dennison@telepath.com> wrote in message
news:WzcN7.41321$xS6.69893@www.newsranger.com...
>
> I'll give you this: if it turns out I'm wrong about 'Read being used by
'Input,
> I'll add 'Input and 'Output into the strawman as well. It was certinaly my
> intention for those to be available too.
>