The explanation is actually simple: «Rob Pike doesn’t know what type theory is or why it is useful» Look at his latest statement on «generics» in Go: https://

The explanation is actually simple: «Rob Pike doesn’t know what type theory is or why it is useful» Look at his latest statement on «generics» in Go: https://evrone.com/rob-pike-interview https://evrone.com/rob-pike-interview He acknowledges that parametric polymorphism is a good thing that Go is gonna get, but then repeats his ignorant view on types by conflating type theory with shitty OOP inheritance and class hierarchies.