From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: Conditional types?
Date: 11 Nov 2002 11:30:00 -0600
Date: 2002-11-11T11:30:00-06:00 [thread overview]
Message-ID: <o9VuVYTu+Sx5@eisner.encompasserve.org> (raw)
In-Reply-To: aqobqa$936$1@slb4.atl.mindspring.net
In article <aqobqa$936$1@slb4.atl.mindspring.net>, "Marin David Condic" <mcondic.auntie.spam@acm.org> writes:
> I could imagine a language that had a convention of passing a descriptor,
> plus the data itself, but the descriptor can only give you information about
> some general classes of data. "What follows is some kind of array" or "The
> next 32 bits is an Integer".
There is not need to imagine -- that "langauge" is the ASN.1 Basic
Encoding Rules.
> It couldn't possibly pass the entire
> information about the type unless it retained the entire high-level language
> description - which would be highly inefficient.
And even that would only work if the high level language description
embodied the entire specification of the program. Otherwise one might
have to guess whether the program was counting raindrops or B52's.
next prev parent reply other threads:[~2002-11-11 17:30 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-11-10 20:34 Conditional types? Caffeine Junky
2002-11-10 23:04 ` Dennis Lee Bieber
2002-11-13 6:41 ` AG
2002-11-11 13:30 ` Marin David Condic
2002-11-11 17:30 ` Larry Kilgallen [this message]
2002-11-12 12:50 ` Marin David Condic
-- strict thread matches above, loose matches on Subject: below --
2002-11-10 20:34 Caffeine Junky
2002-11-10 21:35 ` tmoran
2002-11-11 4:43 ` Caffeine Junky
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox