Perhaps one could write a type-inference macro. That would leave you with something like Julia, broadly speaking.