> It's the shape of the data. This is how far types are required to go. (And not even strictly - sometimes it makes sense to switch on the shape dynamically).

> It's the shape of the data. This is how far types are required to go. (And not even strictly - sometimes it makes sense to switch on the shape dynamically). The hype around types in contemporary languages goes far beyond mere shape. And that can lead to unnecessary program structure which can block further development.