Idenity Type

[julien-blanchon]

I'm trying to type such functions:

def identity[T](*args: T) -> T:
    # Modify the arguments in some way but keep the same type
    ...
    new_args = args
    # Return the modified arguments
    return new_args

I would like to be able to have such behaviour:

new_a, new_b, new_c = identity(a, b, c)

With a, b and c of type different A, B, C

Tasks

Beta Give feedback

No tasks being tracked yet.

[JelleZijlstra]

This is already possible:

def identity[*Ts](*args: *Ts) -> tuple[*Ts]:
    return args

https://pyright-play.net/?strict=true&code=GYJw9gtgBALgngBwJYDsDmUkQWEMogCmAboQIYA2A%2BvAoQFCMAmhwmLKMS8A2gFQAVAM4BdABR8yINEIBcUQUICUUALQA%2BWAFcEFQv2EjZ9KKYKEYWkCihSZjMgBooAI2cBjKAF52hTtzgxACIyIOcARgiAOgAGJXoiUkoaREIxMnjE8mpaNJdMkmyUujF3eKA

[julien-blanchon]

Waw this is great ! Thanks a lot