sentences:  If a function's type is not explicitly declared, the interpreter infers it from the type of its parameters and how they are used within the function.In addition to the basic types (codice_3, codice_4, codice_5), it includes an "anything" type where the type of a parameter does not matter, as in the list-reversing function