Comment by bunderbunder

So, we would seem to have two key statements being pitted against each other here:

  1. Rob Pike doesn't have a strong grasp of type theory.
  2. Rob Pike is an accomplished programmer.

To me, this conflict of opinions is structurally indistinguishable from

  1. That shape over there is a square.
  2. That shape over there is blue.

IOW, there is no argument to see here.