>> 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

>> 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