[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]

Da keine Repository-Datei oder kein Test genannt ist, beginne mit der TypeScript-Referenz zu typeof-types und der Diskussion zu diesem Issue. Kläre das beabsichtigte Verhalten für Variablen und Funktionen unter der vorgeschlagenen type[...]-Syntax; abgeschlossen ist die Aufgabe, wenn die Typisierungssemantik und Kompatibilitätsanforderungen ausreichend vereinbart sind, um sie zu implementieren und zu testen.