From: madmats@elma.epfl.ch (Mats Weber)
Subject: procedure types
Date: 9 Jan 89 12:37:54 GMT [thread overview]
Message-ID: <890109133754.20a03536@elcc.epfl.ch> (raw)
I think there is one good reason why procedure types should not be included in
the Ada language: A secure implementation of procedure types must restrict
their use to global procedures (that is, procedures that are not nested in
other procedures or tasks), as is the case in Modula-2.
Such a rule would violate the uniformity of the language (in Ada 83, anything
can be declared in any declarative region, no matter how deeply nested the
region is).
Mats Weber
Swiss Federal Institute of Technology
EPFL DI LITh
1015 Lausanne
Switzerland
e-mail : madmats@elma.epfl.ch
next reply other threads:[~1989-01-09 12:37 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-01-09 12:37 Mats Weber [this message]
-- strict thread matches above, loose matches on Subject: below --
1989-01-19 9:27 procedure types Mats Weber
1989-01-19 18:07 ` William Thomas Wolfe,2847,
1989-01-19 19:55 ` Bob Hathaway
1989-01-19 21:53 ` William Thomas Wolfe,2847,
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox