Comment on Less is exponentially more (2012)parentComments−cannabis_sam6yThe 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-interviewHe 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.
Comments
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
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.