Support for parametrized types annotations in Python3 (e.g. List[int])

[bruno314]

Hi,
I have example

@contract
def double(x:List[int]) -> List[int]:
    return list(map(lambda x:x*2, x))


double([1.245])  # doesn't complain about type problem
double(False)  #complains about type problem (correctly)

that currently doesn't work but it should (and I believe it's already implemented because same functionality works using contracts-native string annotation). Is there any plan to support fully Python 3 types?

[arxell]

+1