【前言】AI 正以前所未有的速度发展,新的机遇不断涌现,如果你希望:与技术专家、产品经理和创业者深度交流,一起探索 AI如何改变各行各业。欢迎在文末扫二维码,加入「AI思想会」交流群,和一群志同道合的伙伴共同学习、思考、创造!
loguru、pydantic、httpx都是很好用的库,这篇文章整理的是另一类:多数开发者不知道它们存在,却在不少资深工程师的 requirements.txt 里出现。它们经过生产环境验证、持续维护,解决的都是写业务代码时反复遇到的具体问题。
glom:嵌套数据处理利器
几乎每个开发者都写过这样的代码:
city = data.get("user", {}).get("profile", {}).get("address", {}).get("city", "Unknown")
能跑,但难看。一旦API多加一层嵌套,又得回来改这条链。
glom 把它变成声明式操作:
from glom import glom, Coalesce data = { "user": { "profile": { "address": {"city": "Lahore"}, "social": {"twitter": "@dev"} } } } city = glom(data, "user.profile.address.city") phone = glom(data, Coalesce("user.profile.phone", default="N/A")) handle = glom(data, ("user.profile.social.twitter", str.upper))
glom 真正有意思的地方在于重构API响应——可以将整个输出模式定义为一个spec:
from glom import glom, T spec = { "city": "user.profile.address.city", "handle": ("user.profile.social.twitter", T.upper()), "name": "user.name" } result = glom(data | {"user": {**data["user"], "name": "Ali"}}, spec) # {'city': 'Lahore', 'handle': '@DEV', 'name': 'Ali'}
一个 glom spec 可以替掉整个数据转换函数——那种30行的庞然大物。代码评审时看到这种写法,队友会印象深刻。
提示:glom 还提供 Assign 用于写入嵌套路径,不只是读取。它是一套完整的嵌套数据工具包。
boltons:弥补标准库缺失
Python的标准库有空白。总有些功能感觉理应存在却不存在。
boltons 填的就是这些空白。一组纯Python工具集,增补标准库的不足,涵盖 iterutils、strutils、timeutils 等模块。
from boltons.iterutils import chunked, windowed, remap from boltons.strutils import slugify, camel2under data = list(range(10)) print(list(chunked(data, 3))) print(list(windowed([1, 2, 3, 4, 5], 3))) raw = {"a": 1, "b": None, "c": {"d": None, "e": 5}} cleaned = remap(raw, lambda p, k, v: v is not None) print(cleaned) print(slugify("Hello World! This is Python.")) print(camel2under("myVariableName"))
单是 remap 函数就已经省去了无数次手写递归树遍历的工作。它遍历任意嵌套结构在一次遍历中完成过滤、转换或重构。
boltons 横跨20多个模块,包含超过230个工具。多数开发者发现它以后先用两个函数,六个月后又发现五个新的。
beartype:语言速度的运行时类型检查
Python类型提示默认只是装饰。写了 def add(a: int, b: int) -> int,传入字符串照样不会报错。运行时类型提示什么也不做。
beartype 让类型提示真正生效,而且速度快得超出预期。
from beartype import beartype from beartype.typing import List, Dict @beartype def process_users(users: List[Dict[str, str]]) -> List[str]: return [u["name"] for u in users] print(process_users([{"name": "Alice"}, {"name": "Bob"}])) try: process_users(["not", "a", "dict"]) except Exception as e: print(type(e).__name__, ":", e)
beartype 与其他同类工具的关键区别:O(1) 复杂度,常数时间。它不遍历整个列表逐一检查类型,而是采用概率采样策略和C级别的内省机制。面对百万元素的列表开销几乎为零。
from beartype import beartype from beartype.typing import Annotated from beartype.vale import Is PositiveInt = Annotated[int, Is[lambda x: x > 0]] NonEmptyStr = Annotated[str, Is[lambda s: len(s) > 0]] @beartype
def create_user(name: NonEmptyStr, age: PositiveInt) -> dict: return {"name": name, "age": age} create_user("Alice", 25) create_user("", 25) create_user("Alice", -1)
生产级别的输入验证,零行验证代码。只需要正确添加注解。
result:别再返回None
Python开发者都写过如下模式:
def find_user(user_id): user = db.query(user_id) if user is None: return None return user
比如说如果忘了检查 if user is None,运行时就会冒出一个 AttributeError。
result 库将Rust的 Result 类型引入Python。函数要么返回 Ok(value),要么返回 Err(error),调用方被迫显式处理两种情况。
from result import Ok, Err, Result, is_ok def divide(a: float, b: float) -> Result[float, str]: if b == 0: return Err("Division by zero is not allowed") return Ok(a / b) def parse_age(value: str) -> Result[int, str]: try: age = int(value) if age 0: return Err(f"Age cannot be negative: {age}") return Ok(age) except ValueError: return Err(f"Cannot parse '{value}' as an integer") result = parse_age("25").and_then(lambda age: Ok(age * 365)) print(result) result = parse_age("abc") print(result) age_in_days = result.unwrap_or(0) print(age_in_days)
显式的错误处理成为强制要求,不再有被静默吞掉的 None 值。函数签名如实反映了可能出错的情况。
whenever:日期和时间的正确做法
基本上每个Python项目最终都会遇到时区bug。用了 datetime.now(),忘了它是简单的时间,把它和一个带时区的datetime混到一起,调度器会在错误的时间触发。
whenever 在类型层面就杜绝了时区错误,是一个现代的日期时间库:
from whenever import ZonedDateTime, hours meeting = ZonedDateTime(2025, 3, 17, 14, 30, tz="America/New_York") print(meeting.as_tz("Asia/Karachi")) next_week
= meeting + hours(168) print(next_week) lahore_time = ZonedDateTime(2025, 3, 17, 23, 30, tz="Asia/Karachi") print(meeting == lahore_time) # True - 同一时刻,不同时区
和 pendulum 比,whenever 有Rust实现的性能优势,并且会将DST歧义时间作为错误抛出而不是静默猜测。后面这一点在生产环境中坑过一次。一次就够了。
pyinstrument:像资深工程师一样做性能分析
代码慢的时候,多数开发者第一反应是 cProfile。盯着300行输出看了半天,然后放弃。
pyinstrument 是统计采样型分析器,输出对人类可读。它直接告诉时间花在了哪里,没有多余的噪音:
from pyinstrument import Profiler import time def slow_function(): time.sleep(0.1) return sum(range(1_000_000)) def fast_function(): return 42 def main(): for _ in range(5): slow_function() for _ in range(1000): fast_function() profiler = Profiler() profiler.start() main() profiler.stop() profiler.print()
输出如下——干净、可读、立即可操作:
_ ._ __/__ _ _ _ _ _/_ Recorded: 14:23:01 Samples: 52 /_//_/// /_\ / //_// / //_'/ // Duration: 0.521 CPU time: 0.498 / _/ v4.6.2 0.521 main :14 └── 0.521 slow_function :5 └── 0.521 sleep
也可以从命令行直接运行,无需修改任何代码:
pyinstrument your_script.py
Dropbox和Instagram的工程师在生产环境中使用过统计分析器,因为它们引入的开销不到1%——而确定性分析器可能让代码慢10到100倍。
dirty-equals:不说谎的测试断言
测试复杂的API响应是件苦差事。响应中有每次运行都会变化的时间戳,有无法预测的UUID。结果要么什么都不测,要么写40行断言体操。
dirty-equals 的解法是提供一组智能比较对象:
from dirty_equals import IsDatetime, IsUUID, IsPositiveInt, IsStr, Contains response = { "id": "3f7a9c21-4d8e-4b12-a765-0f3d8e1c9b2a", "created_at": "2025-03-17T14:30:00Z", "user_count": 42, "message": "Welcome back, Alice!", "tags": ["python", "backend", "api"] } assert response == { "id": IsUUID, "created_at": IsStr(regex=r'\d{4}-\d{2}-\d{2}T.*'), "user_count": IsPositiveInt, "message": IsStr & Contains("Alice"), "tags": Contains("python") } print("All assertions passed!")
测试从脆弱的快照比较转变为意图驱动的断言——验证的是数据的含义,而非某个精确毫秒的快照值。
提示:dirty-equals 还包含 IsApprox(浮点数比较)、IsJson、IsList(length=5) 等,可与 pytest 及任何断言库配合使用。
stamina:生产级重试逻辑,兼容异步
tenacity 可能大家都比较熟悉,stamina 可以理解为 tenacity 经过深思熟虑的生产环境版本。
默认配置即合理——带jitter的指数退避、按异常类型可配置;更关键的是它与 structlog 和 prometheus 集成,重试尝试自动具备可观测性。
import stamina import httpx @stamina.retry(on=httpx.HTTPError, attempts=5) def fetch_sync(url: str) -> dict: r = httpx.get(url, timeout=5.0) r.raise_for_status() return r.json() @stamina.retry(on=httpx.HTTPError, attempts=5, timeout=30.0) async def fetch_async(url: str) -> dict: async with httpx.AsyncClient() as client: r = await client.get(url, timeout=5.0) r.raise_for_status() return r.json() stamina.instrument(logger=True)
jitter防止所有服务同时重试时产生惊群效应的随机小延迟,所以会默认开启。tenacity 需要手动添加,stamina 直接作为默认值。
pyfunctional:链式数据管道
面向对象的Python在需要对一个列表连续执行8个操作时就开始费力了。要么写一个嵌套极深的单行表达式,要么创建8个无人问津的中间变量。
pyfunctional 提供惰性的、可链式调用的数据管道:
from functional import seq employees = [ {"name": "Alice", "dept": "Engineering", "salary": 120000}, {"name": "Bob", "dept": "Marketing", "salary": 85000}, {"name": "Carol", "dept": "Engineering", "salary": 135000}, {"name": "Dave", "dept": "Marketing", "salary": 92000}, {"name": "Eve", "dept": "Engineering", "salary": 110000}, ] result = ( seq(employees) .filter(lambda e: e["dept"] == "Engineering") .filter(lambda e: e["salary"] > 100000) .map(lambda e: e["salary"]) .average() ) print(f"Avg Engineering salary (>100k): ${result:,.0f}") by_dept = ( seq(employees) .group_by(lambda e: e["dept"]) .map(lambda kv: (kv[0], max(e["salary"
] for e in kv[1]))) .to_dict() ) print(by_dept)
惰性求值,在调用 .average() 或 .to_list() 等终端操作之前不会执行任何计算。读起来接近自然语言,并且原生支持CSV、JSON和数据库行。
和 for 循环加三个中间列表的写法对比一下,优点一眼就能看出来。
总结
这9个库覆盖了日常开发中几个反复出现的痛点:嵌套数据访问、标准库功能缺失、运行时类型安全、错误处理模式、时区陷阱、性能分析、测试断言、重试机制和数据管道。它们的共同特点是API设计克制、默认行为合理,拿来就能用在生产环境中。
区分业余代码和生产级代码的往往不是算法或架构,而是对这些细节层面工具的选择。下次新建项目时,把其中几个加进 requirements.txt 试试,代码的可维护性和可读性会有明显变化。
by Abdur Rahman