新人求助，如何让这个变量的类型错误高亮显示

因为 Python 是运行时类型检查的强类型语言，像 pylint 之类的静态类型检查器最多会检查出这里有类型问题，但不会阻止你启动运行，变量的类型只有运行时才能最终确定。
大概是你把 PyCharm 内置的静态类型检查关掉了，一般来说 a 和 num 的后面应该会自动出现一个灰色的 : str 字样，并且第3行的减法运算应该会自动标出黄波浪线提示找不到 (int - str) 这种入参数据类型的二元减法函数。

pycharm不知道，vscode可以把pylance的类型检查改成base或standard

感谢大家的答复，问题解决了。确实是最近开始学，我猪鼻了，我发现是在venv的目录下面创建的python文件，检测功能不起作用，换个路径重新创建python文件就能正常显示错误了。

因为input后，num是个字符串类型，而10000是int整数类型的，两个类型不一样，得转换一下类型才能进行运算，可以用eval（）函数将num的input（）函数包裹住。我也是差不多入门级，eval（）函数我的理解就是字符串转int的一个函数

这类问题，直接问ai,比如混元或千问，都会给你百分百正确答案和方法。

所以说input输出的是字符串，计算不了，所以需要int(input())转换下类型