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

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

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

还好，反正 type hint 本来就是可选的但是这玩意我是真记不住…

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

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

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

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

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

好东西啊 大兄弟

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

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

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

逆水行舟，不进则退。

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

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

这是 OP 自己的文章，OP 大可不必装路人推广尤记得“国外一小哥”

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

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

花里胡哨的

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

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

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

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

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

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

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

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

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

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

这个没办法，，所有编程语言都有这个趋势，，越来越复杂、语法规则越来越多。。唯一的例外是 C ，，几十年了语法很少扩展。。不过除了写驱动的、写嵌入式的，，应该很少有人用 C 了。。