This post originated from an RSS feed registered with Python Buzz by Dmitry Dvoinikov. Original Post: Method signature type checking decorator for Python 3000 Feed Title: Things That Require Further Thinking Feed URL: http://feeds.feedburner.com/ThingsThatRequireFurtherThinking Feed Description: Once your species has evolved language, and you have learned language, [...] and you have something to say, [...] it doesn't take much time, energy and effort to say it. The hard part of course is having something interesting to say. -- Geoffrey Miller Latest Python Buzz Posts Latest Python Buzz Posts by Dmitry Dvoinikov Latest Posts From Things That Require Further Thinking

@takes(int, str)
@returns(bool)
def foo(i, s):
    ...

@typecheck
def foo(i: int, s: str) -> bool:
    ...

class Foo(object):
    @takes("Foo", str)
    def foo(self, s):
        ...

class Foo:
    @typecheck
    def foo(self, s: str):
        ...

@typecheck
def foo(x: int = 10): # 10 is also checked
    ...

@typecheck
def foo(*, k: optional(str) = None):
    ...

@typecheck
def foo(x: with_attr("write", "flush")):
    ...

@typecheck
def foo(*, k: by_regex("^[0-9]+$")):
    ...

@typecheck
def swap_tuple(x: (int, float)) -> (float, int):
    ...

@typecheck
def swap_list(x: [int, float]) -> [float, int]:
    ...

@typecheck
def extract(k: list_of(by_regex("^[a-z]+$")),
            d: dict_of(str, int)) -> list_of(int):
    ...