>> The only language I've ever used that can infer recursive functions <<

You don't need to have used other languages to see there's no problem -- just Google -- haskell recursive factorial type inference