Often the expressiveness of the type system captures info you'd have to stuff in the name in something like Java or python or at least they just want to emphasi

Often the expressiveness of the type system captures info you'd have to stuff in the name in something like Java or python or at least they just want to emphasize the types over the names. Not always the case though.