Get the type of a var

[Dimitri-WEI-Lingfeng]

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.
use the predefined method type is not possible because type(foo) returns string.
so we need to introduce an additinal method for example typing.typeof:

from typing import typeof
foo: int = 1
Foo = typeof(foo)  # equivalent to Foo = int

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

or make typing.Type callable:

from typing import Type
foo: int = 1
Foo = Type(foo)  # equivalent to Foo = int

[danr]

Why was this closed? Is there a way to do TypeScript's typeof in mypy?

[Dimitri-WEI-Lingfeng]

@danr I opened another one here in python/typing repo