Type inferencing can generally determine the return type of a function. In most cases the parameter types can be determined by type inference as well.

However, functions which, by virtue of their access modifiers, are visible outside the script should be explicitly typed.

[To do: detail on type inference]