The conversation at the time was commonly along these lines. Powerful type systems won, for the most part, and most of the discussion fell away.