Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!netcomsv!doug
From: doug@netcom.COM (Doug Merritt)
Newsgroups: comp.lang.misc
Subject: Re: type checking problem
Message-ID: <1991May22.185944.10208@netcom.COM>
Date: 22 May 91 18:59:44 GMT
References: <1991May16.182932.26327@kodak.kodak.com> <1991May21.144739.23901@maths.nott.ac.uk>
Organization: Netcom - Online Communication Services  UNIX System {408 241-9760 guest}
Lines: 12

In article <1991May21.144739.23901@maths.nott.ac.uk> anw@maths.nott.ac.uk (Dr A. N. Walker) writes:
>	Yes, it's a nice example.  I don't know of many real situations
>in which the programmer may reasonably claim ignorance of both the number
>and type of the parameters to a procedure.

The inner loop of an interpreter: eval(func, parameters).

Since interpreters are applied to zillions of different applications,
not just classic languages, that's "many real situations" right there.
	Doug
-- 
Doug Merritt	doug@netcom.com		apple!netcom!doug