小明明S À DOMICILE ·

Python类型系统发展史

📝

内容提要

本文介绍Python类型系统的发展史，包含Type Hints、mypy，各个Python版本里面的类型系统更新等等内容

🏷️

规范语言该不该带类型：Lean vs. TLA+
计算机科学家莱斯利·兰波特写论文说类型系统对数学有害，但他自己的规范语言TLA+却靠无类型集合论运转了二十多年。这个事实让一群用Lean证明定理的数学家很...
2026-10-25 Python 每周文摘
Python 3.15 新增惰性导入、内置 frozendict 和 Tachyon 性能分析器，整体比 3.14 快约 1.45 倍。AirLLM 支持...
大脑清运系统双崩溃：长新冠与慢性疲劳的毒蛋白堆积真相
大脑的废物清运系统每天夜里集中开工！类淋巴系统和细胞自噬共同负责清除大脑代谢废物，这两套清运机制在慢性疲劳综合征ME/CFS和长新冠患者体内同时失灵，导致...
Google Optimizes Agent Development Kit's 200K-line Python Codebase Overnight with Gemini 4 Argon
Google explained how an 11-hour unattended run of Gemini 4 Argon produced two...
一位开发者让电视服用了 Claude，这是它系统发生的变化
智能电视开机广告和弹窗泛滥，开发者借助AI与ADB工具停用预装组件、替换极简桌面，开源项目CleanYourTV等走红。其背后是厂商靠互联网运营弥补硬件低...
Python 潮流周刊#172：3.15 的 JIT 终于见效、自由线程 Python 进入下一阶段
本期周刊聚焦 Python 3.15：实测 JIT 几何平均提速 2.47 倍，并对比 3.14 及更早版本；自由线程 Python 进入下一阶段；梳理 ...