Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!hplabs!otter.hpl.hp.com!hpltoad!cdollin!kers From: kers@hplb.hpl.hp.com (Chris Dollin) Newsgroups: comp.lang.misc Subject: Re: type checking problem Message-ID: Date: 28 May 91 10:19:28 GMT References: <1991May16.182932.26327@kodak.kodak.com> <1991May21.144739.23901@maths.nott.ac.uk> <199 Sender: news@hplb.hpl.hp.com (Usenet News Administrator) Organization: Hewlett-Packard Laboratories, Bristol, UK. Lines: 21 In-Reply-To: anw@maths.nott.ac.uk's message of 24 May 91 17:16:45 GMT Nntp-Posting-Host: cdollin.hpl.hp.com Dr A. N. Walker reminds me: (Chris Dollin) writes: >My God! Did they *seriously* propose to do partial parameterisation by >simply *omitting* the remaining arguments to a call? No extra syntax - >like a place-holder symbol - *at all*? Yup! Just like the partial indexisation [:-)] that was in from the beginning: eg "vector := matrix [ , j]" to copy the "j"th column. In fact, since parentheses are a permitted substitution for brackets in implementations with restricted character sets, the *syntax* (in the traditional sense) is already provided. Wow, I'd forgotten that. It must have been edited out of my memory as an ``undesirable feature'' .... -- Regards, Kers. | "You're better off not dreaming of the things to come; Caravan: | Dreams are always ending far too soon."