From: slinky.cs.nyu.edu!slinky.cs.nyu.edu!nobody@nyu.edu (Robert Dewar)
Subject: Re: Generic Pointer Type
Date: 4 Sep 93 00:17:15 GMT [thread overview]
Message-ID: <268mqb$2a3@schonberg.cs.nyu.edu> (raw)
Well of course you can't declare a "pointer to void" or anything like that
in Ada, since this the epitome of unsafe programming (a pointer that you
want to keep secret, i.e. you refuse to tell me what it points to, and
intend to make it point to anything you like later on).
To the limited extent that such a notion is required, explicit
unchecked conversions must be used.
What's the exact problem, it is probably instructive to look at it to see
why a C programmer would want a void pointer, and how an Ada programmer
would avoid it, or never even think of it in the first place!
next reply other threads:[~1993-09-04 0:17 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-09-04 0:17 Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-09-07 15:58 Generic Pointer Type Norman H. Cohen
1993-09-07 19:18 dog.ee.lbl.gov!agate!howland.reston.ans.net!usc!elroy.jpl.nasa.gov!swrind
1993-09-08 15:51 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!progers
1993-09-08 18:36 David Emery
1993-09-08 19:25 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!progers
1993-09-09 14:59 Wes Groleau x1240 C73-8
1993-09-09 17:44 Bev in R. Brett
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox