Type inference is perfectly ok; it's still statically type checked and all the parameters and return-types are properly typed. Type inference takes away the ma

Type inference is perfectly ok; it's still statically type checked and all the parameters and return-types are properly typed. Type inference takes away the main argument against static typing: That static typing requires you type in a bunch of useless obvious types.