3 ms·
That's confusing weak/strong with static/dynamic typing, though. (A common error.) "What To Know Before Debating Type Systems" (http://www.pphsg.org/cdsmith/ty
by silentbicycle 16y ago
That's confusing weak/strong with static/dynamic typing, though. (A common error.)
"What To Know Before Debating Type Systems" (http://www.pphsg.org/cdsmith/types.html http://www.pphsg.org/cdsmith/types.html) is a pretty good introduction to types.
Also, while I'm only partway through Benjamin Pierce's _Types and Programming Languages_, it's been quite good so far.
- ekiru 16y agoActually, your link agrees with my explanation: It points out in the "Static and Dynamic Types" section that what is meant by "type" in static type-systems and what is meant by "type" in dynamic type-systems are two very different concepts. From the perspective of someone interested in static "types", dynamically-typed languages don't have types at all.