Why should functions always return the same type?

Why should functions return values of a consistent type? To meet the following two rules.

Rule 1 — a function has a “type” — inputs mapped to outputs. It must return a consistent type of result, or it isn’t a function. It’s a mess.

Mathematically, we say some function, F, is a mapping from domain, D, to range, R. F: D -> R. The domain and range form the “type” of the function. The input types and the result type are as essential to the definition of the function as is the name or the body.

Rule 2 — when you have a “problem” or can’t return a proper result, raise an exception.

def x(foo):
    if 'bar' in foo:
        return (foo, 'bar')
     raise Exception( "oh, dear me." )

You can break the above rules, but the cost of long-term maintainability and comprehensibility is astronomical.

“Wouldn’t it be cheaper memory wise to return a None?” Wrong question.

The point is not to optimize memory at the cost of clear, readable, obvious code.

Leave a Comment