at least some research into types and productivity showed that the highest productivity was when function signatures have to have types but type inference exist

at least some research into types and productivity showed that the highest productivity was when function signatures have to have types but type inference exists inside functions (like auto in c++, var in C#)