From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,6828bb58accfa664 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-11 10:30:03 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!arclight.uoregon.edu!wn13feed!wn14feed!wn12feed!worldnet.att.net!204.71.34.3!newsfeed.cwix.com!news.binc.net!kilgallen From: Kilgallen@SpamCop.net (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: Conditional types? Date: 11 Nov 2002 11:30:00 -0600 Organization: LJK Software Message-ID: References: NNTP-Posting-Host: eisner.encompasserve.org X-Trace: grandcanyon.binc.net 1037039379 17161 192.135.80.34 (11 Nov 2002 18:29:39 GMT) X-Complaints-To: abuse@binc.net NNTP-Posting-Date: Mon, 11 Nov 2002 18:29:39 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:30740 Date: 2002-11-11T11:30:00-06:00 List-Id: In article , "Marin David Condic" 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.