The type system has no relationship to language maturity. It's just a different type system with different trade-offs. Your second point is invalidated by the

The type system has no relationship to language maturity. It's just a different type system with different trade-offs. Your second point is invalidated by the blog itself: "Many libraries are still early".