我写了目前 Python 里唯一一个能正常进行无错误类型推导的 ODM

https://github.com/abersheeran/typedmongo

这个 ODM 的主要功能是类型推导和少量的类型校验与转换，还有好用的查询表达式。另外我有意去除了 None 类型在其中。