3 ms·
> Distinction between dynamically typed and statistically typed is clear. Not so clear as you might think. For example, it's relatively easy to construct a ty
by Jweb_Guru 8y ago
> Distinction between dynamically typed and statistically typed is clear.
Not so clear as you might think. For example, it's relatively easy to construct a typed version of the untyped lambda calculus using isorecursive types.
- nabla9 8y agoThat's completely abstract example, not relevant to actual practice. It's hard for actual programmer make that mistake.
- Jweb_Guru 8y agoIt's a concrete example, but I understand your point that "in practice" we know what dynamic vs. static typing means. Personally, I think a lot of that just comes down to marketing, though :)