[feature] Get the type from a variable

Feature
A similar feature in typescript

const foo: number = 1
type Foo = typeof foo  // type Foo = number

function bar(x: string): void {

}

type Bar = typeof bar // type Bar = (x: string) => void

Pitch
The expected way in future python.
Possible implementation: implement __class_getitem__ for type :

foo: int = 1
Foo = type[foo]  # equivalent to Foo = int

def bar(x: string) -> None :
    ...
Bar = type[bar]  # equivalent to Bar = Callable[[str], None]

Aucun fichier du dépôt ni aucun test n'est nommé ; commencez donc par la référence TypeScript sur typeof-types et la discussion sur cette issue. Clarifiez le comportement attendu pour les variables et les fonctions avec la syntaxe type[...] proposée ; le travail est terminé lorsque la sémantique du typage et les exigences de compatibilité sont suffisamment convenues pour pouvoir les implémenter et les tester.