What is Expressiveness in a Computer Language
Andreas Rossberg
rossberg at ps.uni-sb.de
Wed Jun 21 05:06:01 EDT 2006
David Hopwood wrote:
>
> Oh, but it *does* make sense to talk about dynamic tagging in a statically
> typed language.
It even makes perfect sense to talk about dynamic typing in a statically
typed language - but keeping the terminology straight, this rather
refers to something like described in the well-known paper of the same
title (and its numerous follow-ups):
Martin Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
Dynamic typing in a statically-typed language.
Proc. 16th Symposium on Principles of Programming Languages, 1989
/ TOPLAS 13(2), 1991
Note how this is totally different from simple tagging, because it deals
with real types at runtime.
- Andreas
More information about the Python-list
mailing list