比如我们想有这么一个函数，其用法是：pr(x)，输出是x = 3。我们需要从x得到'x'这个字符串。
我写了个很土的：
def whatis(x, verbose = 1):
    print(x, 'is a ', end=''); x = eval(x); print(type(x), end='')
    print(', which has ' + str(dir(x)) + '\n' if verbose else '')
whatis('[1]')
本来还能忍，但没法对付函数参数：
def fn(x):
 whatis('x') # x在globals里没定义
 # global x2
 x2 = x; whatis('x2')
土得掉渣。

上网搜了下，有老外说for name in globals(), eval()...
x = y = 1
name = None # 不加这句python不让你for，因为name要进到globals()里去
for name in globals(): # 再加上locals()
 if eval(name) == x: return name # x和y咋区分啊？老外也有瞎说的。
 
老外也有厉害的：
from varname import nameof # pip install varname
def fn(x): print(nameof(x), '=', x)
fn(3)

下载源码瞅了眼，core.py 19KB, helpers.py 6K, ignore.py 15K, utils.py 14K.
我猜要在语法树里找。目前满足于用别人的，先把钩子函数做完：
user32 = CDLL("user32.dll"); kernel32 = CDLL("kernel32.dll")
whatis('user32'); whatis('cast', 1)