Re: Static type-checking with dynamic scoping

mac@eleazar.dartmouth.edu (Alex Colvin)
Mon, 21 Jan 1991 00:44:01 GMT

          From comp.compilers
Related articles
Static type-checking with dynamic scoping roberto@cernvax.cern.ch (1991-01-14)
Static type-checking with dynamic scoping gateley@rice.edu (1991-01-15)
Re: Static type-checking with dynamic scoping Chuck_Lins.SIAC_QMAIL@gateway.qm.apple.com (Chuck Lins) (1991-01-15)
Re: Static type-checking with dynamic scoping brm@Neon.Stanford.EDU (Brian R. Murphy) (1991-01-15)
Re: Static type-checking with dynamic scoping barmar@think.com (1991-01-16)
Re: Static type-checking with dynamic scoping brm@Neon.Stanford.EDU (Brian R. Murphy) (1991-01-17)
Re: Static type-checking with dynamic scoping mac@eleazar.dartmouth.edu (1991-01-21)
| List of all articles for this month |
Newsgroups: comp.compilers
From: mac@eleazar.dartmouth.edu (Alex Colvin)
Keywords: types, OOP
Organization: SerI/Ous System
References: <1191Jan16.185311.3771@Think.COM> <9101172315.AA28015@Neon.Stanford.EDU>
Date: Mon, 21 Jan 1991 00:44:01 GMT

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)]
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.