In some programming languages, the return type of a function could be omitted (and inferred by the compiler). In others, e. g. Haskell, the function's signature could be omitted entirely.
