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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,900edaa189af2033
X-Google-Attributes: gid103376,public
From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Ada95 OOP Questions
Date: 1996/08/12
Message-ID: <EACHUS.96Aug12180738@spectre.mitre.org>#1/1
X-Deja-AN: 173777029
references: <dewar.839329517@schonberg> <4u7h1r$jrn@mailsrv2.erno.de>
organization: The Mitre Corp., Bedford, MA.
newsgroups: comp.lang.ada
Date: 1996-08-12T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.839593114@schonberg> dewar@cs.nyu.edu (Robert Dewar) writes:

  > If you propose a style rule "never use feature X", then it is quite likely
  > the case that you are simply unaware of some important use of feature X.
  > For example, I have now seen several Ada environments in which the Ada
  > style rule is "never use unchecked conversion", and as a result, pieces
  > of the program are written in C which could perfectly well be written in
  > Ada. 

   Yes, Unchecked_Conversion is only needed in a very few places, but
if you are sending data down a serial pipe, you probably need to use
it.*  Similarly, the only place that gotos seem to be needed is for
implementing finite state machines.  But they are NECESSARY for
implementing finite state machines, so in they stay.

*Yes, I know that Ada 95 has 'READ and 'WRITE.  But if you have to
define your own read and write routines?  See 13.13.2(36-40).
--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...