- M-J. Dominus and Strong Typing
- Wikipedia Strong typing
- Wikipedia Weak_and_strong_typing
- Weakly Typed from c2
Let's take this one to Room12A too!if you hear someone say that some language is strongly typed, or some other language is weakly typed,you should assume that you don't know what they meant.
that is correct and is the exact point of the article which you unfortunatelly completely missed;the point was that such a distinction is not feasible.Have you noticed the section "Perl Weakly typed?" and then "Perl Strongly typed?" or the conclusion of the article that you cannot label a language of one type or the other? however you should be able to understand the mechanisms behind typing though so when someone uses the terms strong or static or weak or dynamic or late or early binding, more or less know the whereabouts.Why do these terms exist otherwise if they serve no purpose?
I also think that the example with the void pointers makes the concept of type safety pretty clearAlso, writing a series of articles on typing without describing type inference and functional languages (e.g. Haskell) is a serious omission IMHO
what is your definition of type inference then and whose type systems' shortcomings does it address?
Update : book citations through Google books :