Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!think.com!hsdndev!spdcc!iecc!compilers-sender
From: mac@eleazar.dartmouth.edu (Alex Colvin)
Newsgroups: comp.compilers
Subject: Re: Static type-checking with dynamic scoping
Keywords: types, OOP
Message-ID: <1991Jan21.004401.26351@dartvax.dartmouth.edu>
Date: 21 Jan 91 00:44:01 GMT
References: <1191Jan16.185311.3771@Think.COM> <9101172315.AA28015@Neon.Stanford.EDU>
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: mac@eleazar.dartmouth.edu (Alex Colvin)
Organization: SerI/Ous System
Lines: 10
Approved: compilers@iecc.cambridge.ma.us

As an aside - languages such as C++ do static type checking on
dynamically bound (virtual) methods.  In that case the dynamic chain
isn't the call chain, but the derived class chain.  It turns out that
this covers a number of the classic uses of dynamic binding, such as
passing a radix to your print function.

[From mac@eleazar.dartmouth.edu (Alex Colvin)]
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.