[PRL] the "success" of types

[William D Clinger]

Richard Cobbe wrote:
> It looks like you're claiming that developments in type systems for
> industrially popular languages have as much to do with American politics
> as they do with bringing FP techniques and styles into those languages
> -- that is to say, they're unrelated.

Well, maybe I overstated it a bit.

There was definitely a connection between developments in type
systems for industrially popular languages and developments in
mathematical semantics for those languages, and the semantic
developments often depended upon FP techniques and styles.

> Is that a fair summary?

Yes.

Will