Python 的类型提示越来越复杂了： Python3.13 又引入了类型注解新特性

[zywscq]

作为一个老 Python 开发，看了这篇 3.13 的类型注解新特性解读之后，头有点冷： https://medium.com/techtofreedom/7-new-typing-features-in-python-3-13-58caae5f2f10?sk=6ee66766ba372ea1f62b44a0ef08012d

[passive]

Whatever the world was like when I was 20 is perfect, everything before that is too old, everything after that is too new.

[billccn]

这些功能在很多其他语言里面都有，但非要取个跟其他语言都不一样的名字。。。

[tairan2006]

还好，反正 type hint 本来就是可选的

但是这玩意我是真记不住…

[dragondove]

@billccn 没明白是指哪几个特性，在其他语言里等价的概念是什么

[june4]

以前写 py 还是没有类型注解的时候，现在一看 py 的类型好奇怪的样子，类型竟然还是具体的可导入可操作的实际对象，感觉是拿现成的锤子做了把剪刀，写多了 typescript 不知道 py 这种类型写起来是什么感觉，有没有类型体操

[zcf0508]

@june4 https://github.com/laike9m/Python-Type-Challenges 有 python 版本的类型挑战

[crackidz]

还好吧，也没多很多很复杂的东西啊

[wangee]

如果只是这篇 blog 里面的东西，感觉没有添加太多东西

[panxi]

@zcf0508 好东西啊 大兄弟

[clino]

等 AI 编程助手都支持了是不是就不太成为负担了

[nyxsonsleep]

@june4 #5 python 类型是可选的，体验还是比 ts 好一点的。

[Hookery]

动态语言在向静态语言贴贴，静态语言在向动态语言贴贴，啥时候整个大一统好了。。

[kneo]

逆水行舟，不进则退。

[est]

别的还好，就是 TypeIs 太 2 了。。。还不如做多态和 multi-dispatch 。。。

[leven87]

大佬们都买了 medium 会员吗，不是会员只能看个开头。

[nagisaushio]

这是 OP 自己的文章，OP 大可不必装路人推广

尤记得“国外一小哥”

[yy77]

可是 python 语言本身没有 type 检查呀。你再怎么写得完善，返回一个不一样的类型也不会报错。
还得依靠 ide 或者 linter 。

[xgdgsc]

@Hookery 已经有了 https://www.tongyuan.cc/release/syslab 可以把类型稳定的 Julia 代码编译成二进制或者 cpp 代码

[jackerbauer]

花里胡哨的

[NoOneNoBody]

通篇没有用到 pandas 的 namespace ，为了检查 dataframe 类型，还要 import 一次，这是我最头疼的地方

[Ocean810975]

@leven87 #15 作者给的分享链接是 friend link ，按理说你注册了不开会员也能看，或者你有啥防跟踪浏览器扩展给「?sk=xxx 」那部分移除了。

[relsoul]

@june4 写的很乱七八糟...体验不如 ts ，都需要 import ，而且定义 type[] 这种的不如 ts 好写，有一瞬间会让我感觉 类型不是提示吗 怎么跟个实际变量一样.... 而且定义嵌套类型太麻烦了，我直接选择用 pydantic 定义 还方便，运行时也有对应的提示，直接完爆默认的 python 类型定义，（虽然 pydantic 也要基于 python 的类型使用，但是至少让我写起来是一个 d.ts 的感觉）

[abc1310054026]

OP medium 上 1w 多的 follower 还需要搞这种迎流吗。。。

[ferock]

自己看自己写的文章以后自己头有点冷？干嘛自虐？

[DOLLOR]

类型检查+自动推导 是大势所趋。
现在新出的编程语言，类型检查+自动推导 基本都是标配了。
老一辈编程语言 python 、js 、lua 要是不想被历史抛弃，也都推出自己的类型系统了。

[est]

@nagisaushio
@Ocean810975
@abc1310054026
@ferock

这几位老哥火眼金睛。。。

[mark2025]

@DOLLOR ts 的类型，js 的灵活，感觉太好用了

[nagisaushio]

@est 这 op 发了好几次我都记住 id 了

[Trim21]

这 ReadOnly 居然只能给 TypedDict 用。。。

[XIVN1987]

这个没办法，，所有编程语言都有这个趋势，，越来越复杂、语法规则越来越多。。

唯一的例外是 C ，，几十年了语法很少扩展。。不过除了写驱动的、写嵌入式的，，应该很少有人用 C 了。。

[nianlifeixing]

还好类型提示是非强制性的，我经常看到我同事写的函数的返回类型是不对的，不过丝毫不影响，属实是有点误解了

[ddddd0]

@nagisaushio #16 确实挺无语

[lolizeppelin]

我真 TM 服了...看了现在的兼容代码..以前只要区分 py2 和 py3...
现在的兼容代码....直接喷了

[lolizeppelin]

@yy77
typescript 还不是一条卵样....这有啥区别

[asdfsadfsdf]

@lolizeppelin #34 tsc 不检查类型？而且 python 的问题为什么要扯到 ts

-- 有种以前讨论华为扯上小米的感觉，这种既视感太强了