[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Question on difference between LambdaType and FunctionType


Can someone please provide a use-case for having LambdaType
separate to FunctionType? Since they are equal
(LambdaType == FunctionType) it seems a bit superfluous to me.
For example, I cannot do the following:

    if type(foo) is FunctionType and not type(foo) is LambdaType:

What am I missing?

Iwo Herka