先说一下，就简单地写点儿氵文，不是博客，只是我的笔记本/工具书

无法从 SourceForge 下载，所以可以尝试手动下载可用版本的 Armadillo 库，然后在。一般来说，是会后向兼容的，所以解压后放在指定位置即可。的配置中指定本地路径。

pyi 文件是 “Python Interface” 文件的缩写，它用于存储 Python 模块的类型注解信息，但不包含实际的实现代码。例如，如果你有一个 Python 模块 example.py，你可以创建一个对应的 example.pyi 文件来为该模块中的函数、类和变量提供类型注解。这样，当你运行 mypy 来检查你的代码时，它会读取 .pyi 文件中的类型信息，并基于这些信息进行类型检查。需要注意的是，.pyi 文件是可选的，并且通常只在你想要提供额外的类型信息以供类型检查器使用时才需要。

【代码】Python 写程序专用 log 分享(三)——彩色log。