typechecking.md

Typechecking

Satella typechecking is a complex solution for:

• extracting callable arguments signature
• checking type compatibility at runtime

If you do @typed on a class method, skip the type of self or cls, since Satella will detect that it's annotating a class method.

Typechecking instance methods

If you need to use @typed for instancemethods, do the following:

class Cheese(object):

    @typed('self', int, int):
    def add_two_ints(self, a, b):
        return a+b