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

リポジトリのファイルもテストも指定されていないため、まず TypeScript の typeof-types リファレンスと、この issue の議論を確認してください。提案されている type[...] 構文における変数と関数の意図された動作を明確にしてください。型付けのセマンティクスと互換性要件について、実装およびテストを行える程度に合意できれば完了です。