His well-deserved reputation makes me interested in listening to what he has to say, but you have to evalute anyone’s idea on its own merits. I think there is

His well-deserved reputation makes me interested in listening to what he has to say, but you have to evalute anyone’s idea on its own merits. I think there is a tendency to create an unneccessary barrier between ”real-world” software and ”useless” academic theory. I’ve spent most of my career working with java, php, python and js, and I absolutely agree with Rob that class hierarchies and inheritance is a bad way to program, but there’s a lot more to types than oop type systems with limited type inference. It’s of course always a trade off, which is why I build frontends in Elm, backends in Haskell and play with proofs in Agda, but why throw away types altogether?