还使用 C 语言的风格去格式化字符串


C 语言风格挺好的。我就问你 logging 模块怎么搞

官方也是一刀切去掉，结果又灰溜溜加回来 https://peps.python.org/pep-0461/

.format() 和 fstring 最讨厌的死脑筋类型 f'{1.1:d}' 不成功，'%d' % 1.1 是可以的。本来就是随手打印一下，这下得多写好多行 if 一下类型。

航天领域比如 airbus 早期代码是靠 formal verification 保证稳定的。

就是通过形式逻辑，遍历保证代码所有情况下分支执行都是被验证过无异常，无内存分配问题等。

当然直接遍历不可取，得加入亿点点剪枝优化