TypeVar and ParamSpec type expression fail about codon HOT 5 CLOSED

cache_dict = Dict[str, u64]()

def cache(func):
    global cache_dict
    def wrapper(n: u64) -> u64:
        if str(n) not in cache_dict:
            temp = func(n)
            cache_dict[str(n)] = temp

        return u64(cache_dict[str(n)])

    return wrapper



@cache
def fact(n: u64) -> u64:
    if n == u64(0) | n == u64(1):
        return u64(1)
    return n.__mul__(u64(fact(n-u64(1))))


def main():
    print(fact(u64(15)))

if __name__ == '__main__':
    main()

@python
def run():
    cache_dict: dict = {}
    
    def cache(func):
        def wrapper(*args, **kwargs) -> int:
            n = args[0]
            if str(n) not in cache_dict:
                temp = func(n)
                cache_dict[str(n)] = temp

            return cache_dict[str(n)]

        return wrapper
    
    @cache
    def fact(n: int) -> int:
        if n in (0, 1):
            return 1

        return n * fact(n-1)

    def main() -> None:
        print(fact(15))

    main()


if __name__ == '__main__':
    run()

@python
def run():
    import typing
    cache_dict: dict = {}
    T = typing.TypeVar('T')
    P = typing.ParamSpec('P')

    def cache(func: typing.Callable[P, T]) -> typing.Callable[P, T]:
        def wrapper(*args: P.args, **kwargs: P.kwargs) -> typing.Type[T]:
            n = args[0]
            if str(n) not in cache_dict:
                temp = func(n)
                cache_dict[str(n)] = temp

            return cache_dict[str(n)]

        return wrapper

    @cache
    def fact(n: int) -> int:
        if n in (0, 1):
            return 1

        return n * fact(n-1)

    def main() -> None:
        print(fact(15))

    main()


if __name__ == '__main__':
    run()

from python import numpy as np

x: np.array = np.array([1, 2, 3, 4]) * 10
print(x)  # [10 20 30 40]