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: 10ad36,eb29ffe585cb20aa
X-Google-Attributes: gid10ad36,public
X-Google-Thread: fc89c,eb29ffe585cb20aa
X-Google-Attributes: gidfc89c,public
X-Google-Thread: 10261c,eb29ffe585cb20aa
X-Google-Attributes: gid10261c,public
X-Google-Thread: 103376,eb29ffe585cb20aa
X-Google-Attributes: gid103376,public
X-Google-Thread: 10cc59,eb29ffe585cb20aa
X-Google-Attributes: gid10cc59,public
From: z007400b@bc.seflin.org (Ralph Silverman)
Subject: Re: International Algorithmic language
Date: 1997/08/22
Message-ID: <5tki08$b0t@nntp.seflin.org>#1/1
X-Deja-AN: 267982920
References: <5sfeus$a1i@nntp.seflin.org> <5spvub$qns@nntp.seflin.org>
 <5t1lso$sad@nntp.seflin.org>
Followup-To: 
 comp.unix.bsd,comp.lang.pascal,comp.lang.pascal.misc,comp.lang.ada,comp.unix.programmer
Organization: SEFLIN Free-Net 
Newsgroups: 
 comp.unix.bsd,comp.lang.pascal,comp.lang.pascal.misc,comp.lang.ada,comp.unix.programmer
Date: 1997-08-22T00:00:00+00:00
List-Id: <comp.lang.ada>


	internationalization of algorithmic language
	part 1.
	( part e.001 )

	ambiguity of function names ...

	function name
	primarily identifies
	pointer to entry-point of
	function in code space ...

	also,  more abstractly,
	function name identifies
		'pseudo-variable'
	of return type of function ...

	when declared,  this
		'pseudo-variable'
	is the 'referent' of declaration,
	because this may be of one of
	different types ...

	therefore declaration of function
	introduces a potentially baffling
	abstraction !

	thus making declaration overt is
	useful for intelligibility;
	and also to distinguish
	declaration of
		function pointer
	from 
	declaration of
		function
		 returning
			function pointer
	!


	/* function pointer type is tentative */
		>^<* fname;	/* OLD ___ 
				 * now declares
				 * function pointer
				 * ^^^^^^^^^^^^^^^^ 
				 */

		>^<* <-< fname;	/* NEW 
				 * ( declares function
				 *  returning function
				 *  pointer ! )
				 */

--

Ralph Silverman
z007400b@bcfreenet.seflin.lib.fl.us