develooper Front page | perl.perl6.language | Postings from June 2001

Re: Properties and stricture

Thread Previous | Thread Next
From:
Daniel S. Wilkerson
Date:
June 5, 2001 13:50
Subject:
Re: Properties and stricture
Message ID:
3B1D46AA.65F685D7@digital-integrity.com
If you call a method in Java, you can see right there which method you are
calling.  You can then lexically follow the inheritance tree and find out exactly
what code really is called, what its signature is, and what it returns.  Nothing
dynamic is involved.

One might ask for other featues, but I consider looking at the code and
1 - knowing what other code it is going to call, or
2 - whether that class really has that member or not,
etc. at compile time to be a minimum reqirement of any typing I would call strong.

Daniel

John Porter wrote:

> Daniel S. Wilkerson wrote:
> > I can't imagine any way in which one can consider Perl typing to be "strong".
> > When you know the type of a variable, you are supposed to have confidence
> > that when you see a statement
> > a - lexically locally (without looking around elsewhere) and
> > b - at compile time
> > you know exactly what the statement means.
>
> No, that is not "strong typing".  That is "static typing".
>
> --
> John Porter


Thread Previous | Thread Next


nntp.perl.org: Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About