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=0.6 required=5.0 tests=BAYES_05,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!watmath!clyde!att!ucbvax!elma.epfl.ch!madmats From: madmats@elma.epfl.ch (Mats Weber) Newsgroups: comp.lang.ada Subject: procedure types Message-ID: <890109133754.20a03536@elcc.epfl.ch> Date: 9 Jan 89 12:37:54 GMT Sender: daemon@ucbvax.BERKELEY.EDU Organization: The Internet List-Id: 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