comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <mcondic.auntie.spam@acm.org>
Subject: Re: Conditional types?
Date: Tue, 12 Nov 2002 07:50:20 -0500
Date: 2002-11-12T12:50:55+00:00	[thread overview]
Message-ID: <aqqtff$9v0$1@slb2.atl.mindspring.net> (raw)
In-Reply-To: o9VuVYTu+Sx5@eisner.encompasserve.org

Ultimately, all that could be passed along is what was said about the type -
not what was meant. Computers are pretty lousy at interpreting the meaning
behind the words.

MDC
--
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jast.mil/

Send Replies To: m c o n d i c @ a c m . o r g

    "I'd trade it all for just a little more"
        --  Charles Montgomery Burns, [4F10]
======================================================================

Larry Kilgallen <Kilgallen@SpamCop.net> wrote in message
news:o9VuVYTu+Sx5@eisner.encompasserve.org...
> 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.





  reply	other threads:[~2002-11-12 12:50 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
2002-11-12 12:50     ` Marin David Condic [this message]
  -- 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